--- file_not_specified_in_diff
+++ file_not_specified_in_diff
@@ -, +, @@
--- a/doc/_themes/sphinx13/layout.html
+++ b/doc/_themes/sphinx13/layout.html
@@ -14,8 +14,6 @@
{% block sidebar2 %}{% endblock %}
{% block extrahead %}
-
{{ super() }}
{%- if not embedded %}