summaryrefslogtreecommitdiff
path: root/conf.py
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2019-08-29 16:35:23 +0200
committerFlorian Dold <florian.dold@gmail.com>2019-08-29 16:35:23 +0200
commite68750940e68007370cc49579d2b10a350071002 (patch)
tree7ded0b69ce0ac19a572483c24f969f78fe14fc30 /conf.py
parent765c9ac3080360900945da4a3c5f2213933ae3a3 (diff)
downloaddocs-e68750940e68007370cc49579d2b10a350071002.tar.gz
docs-e68750940e68007370cc49579d2b10a350071002.tar.bz2
docs-e68750940e68007370cc49579d2b10a350071002.zip
layout tweaks
Diffstat (limited to 'conf.py')
-rw-r--r--conf.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/conf.py b/conf.py
index 89b246a..47f494f 100644
--- a/conf.py
+++ b/conf.py
@@ -137,6 +137,7 @@ html_theme_options = {
# Set the name of the project to appear in the sidebar
"project_nav_name": "GNU Taler",
"globaltoc_depth": 4,
+ "globaltoc_includehidden": False,
}
# Add any paths that contain custom themes here, relative to this directory.