summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--_exts/taler_sphinx_theme/guzzle_sphinx_theme/layout.html2
-rw-r--r--conf.py1
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 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.