diff options
-rw-r--r-- | _exts/taler_sphinx_theme/guzzle_sphinx_theme/layout.html | 2 | ||||
-rw-r--r-- | conf.py | 1 |
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 %} @@ -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. |