diff options
author | 2019-02-19 04:46:12 +0100 | |
---|---|---|
committer | 2019-02-19 04:46:12 +0100 | |
commit | 4fb53b7e93fe511f6a2deeaffbd55400a8345aed (patch) | |
tree | 7919d16812d77da77ef99ffbc5b71caeedfc42a1 /docs | |
parent | eaf6f4889d3ce0511c398c37c87c8ce48922b1cc (diff) |
Sticky navigation
Modification of the configuration ina way
that the navigation menu is always visible.
Change-Id: Ie5dc8e5afed071f49ae575ceb4411fbc1ebc0f37
Issue-ID: DOC-404
Signed-off-by: Gergely Csatari <gergely.csatari@nokia.com>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 83601da18..98059b838 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -137,7 +137,8 @@ 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'} +html_theme_options = {'style_nav_header_background': 'white', + 'sticky_navigation': False} # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = sphinx_bootstrap_theme.get_html_theme_path() |