diff --git a/doc/_themes/sphinx13/layout.html b/doc/_themes/sphinx13/layout.html deleted file mode 100644 index 98c74df..0000000 --- a/doc/_themes/sphinx13/layout.html +++ /dev/null @@ -1,123 +0,0 @@ -{# Sphinx layout template for the sphinxdoc theme. #} -{%- extends "basic/layout.html" %} - -{% block extrahead %} -{{ super() }} -{%- if not embedded and pagename == root_doc %} - -{%- endif %} -{% endblock %} - -{% block header %} -{{ svgs() }} -