api docs: Tweak style to be consistent with website style. (#6537)

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index b2db580ef3645fe7210f0f7fc6949c8db9e3c7d7..a0348f9edd58bb1ddaef238e4dff2216bb26d3c8 100644 (file)
--- a/docs/_static/custom.css
+++ b/docs/_static/custom.css
@@ -1,3 +1,15 @@
+.wy-nav-content {
+  background: #f9fffa;
+}
+
+.wy-menu-vertical a {
+  color: #f9fffa;
+}
+
+.wy-menu-vertical a:hover, a:focus {
+  color: #0099e6;
+}
+
 code {
     border: 0px !important;
 }
@@ -9,3 +21,31 @@ code.xref {
 .rst-content code {
     padding: 1px !important;
 }
+
+a {
+  color: #0099e6;
+}
+
+a:visited {
+  color: #0099e6;
+}
+
+a:hover, a:focus {
+  color: #739900;
+}
+
+.wy-side-nav-search {
+  background-color: #0099e6;
+}
+
+.wy-side-nav-search > a {
+  color: #f9fffa;
+}
+
+.wy-side-nav-search input[type="text"] {
+  border-color: #0077b3;
+}
+
+.wy-body-for-nav {
+  background: #343131;
+}