diff options
| -rw-r--r-- | doc/conf.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 38160715d..2d5be4e9e 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -104,7 +104,9 @@ html_theme = 'default' # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the # documentation. -#html_theme_options = {} +html_theme_options = { + "collapsiblesidebar": "true" +} # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = [] |