diff options
Diffstat (limited to 'doc/sphinx/_exts/taler_sphinx_theme/guzzle_sphinx_theme/globaltoc.html')
-rw-r--r-- | doc/sphinx/_exts/taler_sphinx_theme/guzzle_sphinx_theme/globaltoc.html | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/sphinx/_exts/taler_sphinx_theme/guzzle_sphinx_theme/globaltoc.html b/doc/sphinx/_exts/taler_sphinx_theme/guzzle_sphinx_theme/globaltoc.html new file mode 100644 index 0000000..b2c04e2 --- /dev/null +++ b/doc/sphinx/_exts/taler_sphinx_theme/guzzle_sphinx_theme/globaltoc.html | |||
@@ -0,0 +1,14 @@ | |||
1 | |||
2 | <div class="sidebar-block"> | ||
3 | <div class="sidebar-wrapper"> | ||
4 | <h2>{{ _('Table Of Contents') }}</h2> | ||
5 | </div> | ||
6 | <div class="sidebar-toc"> | ||
7 | {% set toctree = toctree(maxdepth=theme_globaltoc_depth|toint, collapse=theme_globaltoc_collapse|tobool, includehidden=theme_globaltoc_includehidden|tobool) %} | ||
8 | {% if toctree %} | ||
9 | {{ toctree }} | ||
10 | {% else %} | ||
11 | {{ toc }} | ||
12 | {% endif %} | ||
13 | </div> | ||
14 | </div> | ||