#3143: enable "collapsible sidebar" feature of new Sphinx version.

diff --git a/Doc/conf.py b/Doc/conf.py
index b19235428b48191e3aaa897010e56e8e6eee8427..b9d9ab5ac80a9eb298dde20f4b53770c0f3ea406 100644 (file)
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -66,6 +66,9 @@ highlight_language = 'python3'
 # Options for HTML output
 # -----------------------
 
+html_theme = 'default'
+html_theme_options = {'collapsiblesidebar': True}
+
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.
 html_last_updated_fmt = '%b %d, %Y'