diff --git a/Doc/tools/sphinxext/layout.html b/Doc/tools/sphinxext/layout.html index 8659ef0364c..d4bb105e831 100644 --- a/Doc/tools/sphinxext/layout.html +++ b/Doc/tools/sphinxext/layout.html @@ -6,7 +6,7 @@ {% endblock %} {% block extrahead %} - + {% if not embedded %}{% endif %} {{ super() }} {% endblock %} {% block footer %}