diff --git a/docs/_includes/feedback.html b/docs/_includes/feedback.html deleted file mode 100644 index c6d0fe28c6..0000000000 --- a/docs/_includes/feedback.html +++ /dev/null @@ -1,13 +0,0 @@ -
  • -{% if site.feedback_text %} - {% assign feedback_text = site.feedback_text %} -{% else %} - {% assign feedback_text = "Feedback" %} -{% endif %} - -{% if site.feedback_link %} - {{feedback_text}} -{% else %} - {{feedback_text}} -{% endif %} -
  • diff --git a/docs/_includes/topnav.html b/docs/_includes/topnav.html index 7e4e9b846a..d931e1c279 100644 --- a/docs/_includes/topnav.html +++ b/docs/_includes/topnav.html @@ -1,77 +1,66 @@ -