[GNUnet-SVN] [taler-docs] branch master updated: layout tweaks

[gnunet]

This is an automated email from the git hooks/post-receive script.

dold pushed a commit to branch master
in repository docs.

The following commit(s) were added to refs/heads/master by this push:
     new e687509  layout tweaks
e687509 is described below

commit e68750940e68007370cc49579d2b10a350071002
Author: Florian Dold <address@hidden>
AuthorDate: Thu Aug 29 16:35:23 2019 +0200

    layout tweaks
---
 _exts/taler_sphinx_theme/guzzle_sphinx_theme/layout.html | 2 +-
 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
index 85be1c5..a0cbe54 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 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.

-- 
To stop receiving notification emails like this one, please contact
address@hidden.