taler-docs

commit e68750940e68007370cc49579d2b10a350071002
parent 765c9ac3080360900945da4a3c5f2213933ae3a3
Author: Florian Dold <florian.dold@gmail.com>
Date:   Thu, 29 Aug 2019 16:35:23 +0200

layout tweaks

Diffstat:
M
_exts/taler_sphinx_theme/guzzle_sphinx_theme/layout.html
 | 
2
+-
M
conf.py
 | 
1
+

2 files changed, 2 insertions(+), 1 deletion(-)
diff --git 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
@@ -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.