layout tweaks

1 files changed, 1 insertions, 0 deletions

diff --git a/conf.py b/conf.py
index 89b246ab..47f494ff 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.