docs - update RTD theme

pull/3236/head
Cody Glassman 3 months ago
parent 974c0ce158
commit bf58c03160

@ -2,4 +2,4 @@ parse_cmake
sphinx==7.1.2 sphinx==7.1.2
docutils==0.18.1 docutils==0.18.1
jinja2==3.1.4 jinja2==3.1.4
sphinx_rtd_theme==1.3.0 sphinx_rtd_theme==3.0.0

@ -0,0 +1,3 @@
.version-switch select option {
color: black;
}

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

Loading…
Cancel
Save