diff options
| -rw-r--r-- | Documentation/conf.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index c715610d6297..a5c45df0bd83 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -296,6 +296,10 @@ if html_theme == 'sphinx_rtd_theme' or html_theme == 'sphinx_rtd_dark_mode': # Add color-specific RTD normal mode html_css_files.append('theme_rtd_colors.css') + html_theme_options = { + 'navigation_depth': -1, + } + except ImportError: html_theme = 'alabaster' |