diff -r e72aab080165 Doc/conf.py
--- a/Doc/conf.py Sat Jul 23 11:16:56 2016 -0400
+++ b/Doc/conf.py Sat Jul 23 21:27:20 2016 -0400
@@ -60,7 +60,11 @@
# Custom sidebar templates, filenames relative to this file.
html_sidebars = {
- 'index': 'indexsidebar.html',
+ # Defaults taken from http://www.sphinx-doc.org/en/stable/config.html#confval-html_sidebars
+ # Re-arranged so that searchbox is first.
+ '**': ['searchbox.html', 'localtoc.html', 'relations.html', 'customsourcelink.html'],
+ # Searchbox first on index page for consistency
+ 'index': ['searchbox.html', 'indexsidebar.html'],
}
# Additional templates that should be rendered to pages.
diff -r e72aab080165 Doc/tools/templates/customsourcelink.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Doc/tools/templates/customsourcelink.html Sat Jul 23 21:27:20 2016 -0400
@@ -0,0 +1,10 @@
+{%- if show_source and has_source and sourcename %}
+
+
{{ _('This Page') }}
+
+
+{%- endif %}
diff -r e72aab080165 Doc/tools/templates/layout.html
--- a/Doc/tools/templates/layout.html Sat Jul 23 11:16:56 2016 -0400
+++ b/Doc/tools/templates/layout.html Sat Jul 23 21:27:20 2016 -0400
@@ -90,13 +90,3 @@
{% trans sphinx_version=sphinx_version|e %}Created using Sphinx {{ sphinx_version }}.{% endtrans %}
{% endblock %}
-{% block sidebarsourcelink %}
-{%- if show_source and has_source and sourcename %}
-{{ _('This Page') }}
-
-{%- endif %}
-{% endblock %}