summaryrefslogtreecommitdiff
path: root/doc/conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'doc/conf.py')
-rw-r--r--doc/conf.py4
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.