diff --git a/doc/_templates/dummy b/doc/_templates/dummy deleted file mode 100644 index 8d1c8b69c3..0000000000 --- a/doc/_templates/dummy +++ /dev/null @@ -1 +0,0 @@ - diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html deleted file mode 100644 index 67402670ba..0000000000 --- a/doc/_templates/layout.html +++ /dev/null @@ -1,58 +0,0 @@ -{% extends "!layout.html" %} - -{% block extrahead %} - -{{ super() }} -{% endblock %} - -{% block relbar1 %} - -
- - | -- Home | - Docs | - github | - FAQ | - Lists | - Download - | -
- - | -
-Documentation
-Download
-github
-FAQ
-Mailing Lists
-
-
+ + {%- if not embedded %} + + {%- for scriptfile in script_files + ["_static/bootstrap-dropdown.js"] %} + + {%- endfor %} + + {%- if use_opensearch %} + + {%- endif %} + {%- if favicon %} + + {%- endif %} + {%- endif %} + + {%- block extrahead %} {% endblock %} + + {% if theme_analytics_code %} + + + {% endif %} + +
+ + +{%- block header %} + + +{% endblock %} + +