doc: improve ToC navigation

diff --git a/doc/conf.py b/doc/conf.py
index 5736d2aae66bdfcd245e79a0981a6630e338f88e..44861cfa0014af03774fe29e3242c1130b382d5f 100644 (file)
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -58,6 +58,11 @@ html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
 
 html_theme_options = {
     'logo_only': True,  # if we have a html_logo below, this shows only the logo with no title text
+    # Toc options
+    'collapse_navigation': False,
+    'sticky_navigation': True,
+    'navigation_depth': 3,
+    'includehidden': False,
 }
 html_logo = '_static/logo-negativ.svg'
 

diff --git a/doc/index.rst b/doc/index.rst
index f93317fbf32ba64b8425446be488ccf9453bbbd6..ca797665c30d03350c69b970f0237c6b5eb3e7e5 100644 (file)
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -18,7 +18,7 @@ and it provides a state-machine like API for extensions.
 .. toctree::
    :caption: Configuration
    :name: users
-   :maxdepth: 2
+   :maxdepth: 3
 
    config-overview
    config-network