diff options
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/docs/conf.py b/docs/conf.py index 857ab9354..aa98ecdbf 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -96,7 +96,7 @@ language = None # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. exclude_patterns = [ - '_build' + '_build' ] # The reST default role (used for this markup: `text`) to use for all @@ -137,8 +137,9 @@ html_theme = 'sphinx_rtd_theme' # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the # documentation. -html_theme_options = {'style_nav_header_background': 'white', - 'sticky_navigation': False} +html_theme_options = { 'style_nav_header_background': 'white', + 'sticky_navigation': False, + 'collapse_navigation': False} # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = sphinx_bootstrap_theme.get_html_theme_path() |