diff --git a/Documentation/conf.py b/Documentation/conf.py
index cdcc8e0f46a628448a53b347a486a637098aed08..c45a3b7f7717815ca7aedd7514b6b43927625789 100644
--- a/Documentation/conf.py
+++ b/Documentation/conf.py
@@ -369,7 +369,8 @@ html_static_path = ['sphinx-static']
 html_use_smartypants = False
 
 # Custom sidebar templates, maps document names to template names.
-#html_sidebars = {}
+# Note that the RTD theme ignores this.
+html_sidebars = { '**': ['searchbox.html', 'localtoc.html', 'sourcelink.html']}
 
 # Additional templates that should be rendered to pages, maps page names to
 # template names.