From e68750940e68007370cc49579d2b10a350071002 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Thu, 29 Aug 2019 16:35:23 +0200
Subject: layout tweaks

---
 conf.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'conf.py')

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.
-- 
cgit v1.2.3