From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 14 May 2021 00:05:18 +0000 (-0700)
Subject: api docs: Tweak style to be consistent with website style. (#6537)
X-Git-Tag: cvc5-1.0.0~1764
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d7b74a33e3722dd123ecfb79603538cc5ac889a0;p=cvc5.git

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

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index b2db580ef..a0348f9ed 100644
--- 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;
+}