layout tweaks

2 files changed, 2 insertions, 1 deletions

diff --git a/_exts/taler_sphinx_theme/guzzle_sphinx_theme/layout.html b/_exts/taler_sphinx_theme/guzzle_sphinx_theme/layout.html
index 85be1c51..a0cbe546 100644
--- a/_exts/taler_sphinx_theme/guzzle_sphinx_theme/layout.html
+++ b/_exts/taler_sphinx_theme/guzzle_sphinx_theme/layout.html
@@ -122,7 +122,7 @@
             </ol>
           </div>
           {% endblock %}
-          <div class="document clearer body">
+          <div class="document clearer body" role="body">
             {% block body %} {% endblock %}
           </div>
           {%- block bottom_rel_links %}
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.