More doc tweaks (#447)

docs/_static/style.css

@@ -0,0 +1,13 @@
+@import url("theme.css");
+
+.wy-side-nav-search {
+  background-color: #9cb7c9;
+}
+
+.wy-side-nav-search>div.version {
+  display: none;
+}
+
+.wy-nav-top {
+  background-color: #9cb7c9;
+}

docs/_templates/layout.html

@@ -1,10 +1,2 @@
 {% extends "!layout.html" %}
-  {% block footer %} {{ super() }}
-
-  <style>
-    /* Sidebar header (and topbar for mobile) */
-    .wy-side-nav-search, .wy-nav-top {
-      background: #7096b0;
-    }
-  </style>
-{% endblock %}
+{% set css_files = css_files + ["_static/style.css"] %}

docs/conf.py

@@ -207,15 +207,7 @@
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-
-# on_rtd is whether we are on readthedocs.org, this line of code grabbed from
-# docs.readthedocs.org
-
-on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
-if not on_rtd:  # only import and set the theme if we're building docs locally
-    import sphinx_rtd_theme
-    html_theme = 'sphinx_rtd_theme'
-    html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
+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