diff options
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index 0dda5b0f..766ecb75 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -92,6 +92,10 @@ pygments_style = 'sphinx' # Options for HTML output # ----------------------- +html_theme_options = { + "stickysidebar": "true" +} + # The style sheet to use for HTML and HTML Help pages. A file of that name # must exist either in Sphinx' static/ path, or in one of the custom paths # given in html_static_path. |