diff --git a/docs/partials/header.html b/docs/partials/header.html deleted file mode 100644 index 32202bccc..000000000 --- a/docs/partials/header.html +++ /dev/null @@ -1,54 +0,0 @@ - - - - - - {% if config.theme.logo.icon %} - {{ config.theme.logo.icon }} - {% else %} - - {% endif %} - - - - - - - - {% block site_name %} - {% if config.site_name == page.title %} - {{ config.site_name }} - {% else %} - - {{ config.site_name }} - - - {{ page.title }} - - {% endif %} - {% endblock %} - - - - {% block search_box %} - {% if "search" in config["plugins"] %} - - {% include "partials/search.html" %} - {% endif %} - {% endblock %} - - {% if config.repo_url %} - - - {% include "partials/source.html" %} - - - {% endif %} - - - - - -