diff options
Diffstat (limited to '_exts/taler_sphinx_theme/guzzle_sphinx_theme/globaltoc.html')
| -rw-r--r-- | _exts/taler_sphinx_theme/guzzle_sphinx_theme/globaltoc.html | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/_exts/taler_sphinx_theme/guzzle_sphinx_theme/globaltoc.html b/_exts/taler_sphinx_theme/guzzle_sphinx_theme/globaltoc.html new file mode 100644 index 00000000..b2c04e27 --- /dev/null +++ b/_exts/taler_sphinx_theme/guzzle_sphinx_theme/globaltoc.html @@ -0,0 +1,14 @@ + +<div class="sidebar-block"> + <div class="sidebar-wrapper"> + <h2>{{ _('Table Of Contents') }}</h2> + </div> + <div class="sidebar-toc"> + {% set toctree = toctree(maxdepth=theme_globaltoc_depth|toint, collapse=theme_globaltoc_collapse|tobool, includehidden=theme_globaltoc_includehidden|tobool) %} + {% if toctree %} + {{ toctree }} + {% else %} + {{ toc }} + {% endif %} + </div> +</div> |