From 4fb53b7e93fe511f6a2deeaffbd55400a8345aed Mon Sep 17 00:00:00 2001 From: Gergely Csatari Date: Tue, 19 Feb 2019 04:46:12 +0100 Subject: [PATCH] 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 --- docs/conf.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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() -- 2.16.6