diff --git a/Doc/tools/sphinxext/layout.html b/Doc/tools/sphinxext/layout.html index 8659ef0364c4..d4bb105e8313 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 %}