diff --git a/Doc/tools/templates/download.html b/Doc/tools/templates/download.html index 45ec436fee72d7..4645f7d394e29e 100644 --- a/Doc/tools/templates/download.html +++ b/Doc/tools/templates/download.html @@ -12,6 +12,20 @@ {% set dl_version = release %} {% endif %} +{%- block extrahead -%} + {{ super() }} + + + + + + + + + + +{%- endblock -%} + {% block body %}
diff --git a/Doc/tools/templates/search.html b/Doc/tools/templates/search.html index 6ddac5f828bab1..8ff7622389bc66 100644 --- a/Doc/tools/templates/search.html +++ b/Doc/tools/templates/search.html @@ -3,6 +3,16 @@ {{ super() }} + + + + + + + + + + {% endblock %} {% block searchresults %}