summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLaura Ekstrand <laura@jlekstrand.net>2018-06-06 14:48:23 -0700
committerLaura Ekstrand <laura@jlekstrand.net>2018-06-18 16:23:53 -0700
commit290b57fcaa3267f57bc2370b2bc857e737e16c4e (patch)
treee43de5434f0104bc0a044c5c94c6b5aca6055141
parente084546f80ffd0d53b17db5dbb3fb09b6a7e5577 (diff)
docs: Change navigation color and establish override css file.
-rw-r--r--docs/_static/css/theme_override.css9
-rw-r--r--docs/conf.py3
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 ------------------------------------------