diff options
| -rw-r--r-- | docs/_static/css/theme_override.css | 9 | ||||
| -rw-r--r-- | docs/conf.py | 3 |
2 files changed, 11 insertions, 1 deletions
diff --git a/docs/_static/css/theme_override.css b/docs/_static/css/theme_override.css new file mode 100644 index 0000000000..b4ec7a517f --- /dev/null +++ b/docs/_static/css/theme_override.css @@ -0,0 +1,9 @@ +@import url("theme.css"); + +.wy-side-nav-search { + background-color: #100f0f; +} + +.wy-nav-top { + background-color: #100f0f; +} diff --git a/docs/conf.py b/docs/conf.py index c40f127180..4e9cb0b8be 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -104,8 +104,9 @@ html_theme_options = { # Add any paths that contain custom static files (such as style sheets) here, # 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 = ['specs/'] +html_static_path = ['specs/', '_static'] +html_style = 'css/theme_override.css' # -- Options for HTMLHelp output ------------------------------------------ |