|
|
|
@ -144,7 +144,8 @@ html_theme = 'sphinx_rtd_theme'
|
|
|
|
|
# further. For a list of options available for each theme, see the
|
|
|
|
|
# documentation.
|
|
|
|
|
html_theme_options = {
|
|
|
|
|
'navigation_with_keys': True
|
|
|
|
|
'navigation_with_keys': True,
|
|
|
|
|
'flyout_display': 'attached',
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
# Add any paths that contain custom themes here, relative to this directory.
|
|
|
|
@ -178,8 +179,8 @@ def setup(app):
|
|
|
|
|
# relative to this directory. They are copied after the builtin static files,
|
|
|
|
|
# so a file named "default.css" will overwrite the builtin "default.css".
|
|
|
|
|
html_static_path = [
|
|
|
|
|
'_static'
|
|
|
|
|
]
|
|
|
|
|
'_static'
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
# Add any extra paths that contain custom files (such as robots.txt or
|
|
|
|
|
# .htaccess) here, relative to this directory. These files are copied
|
|
|
|
|