From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 25 May 2021 21:05:40 +0000 (-0700)
Subject: api docs: Fix and tweak style for home and top links. (#6618)
X-Git-Tag: cvc5-1.0.0~1697
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8bdef44df0876840a9fb34e7bd820b0eee7c9700;p=cvc5.git

api docs: Fix and tweak style for home and top links. (#6618)
---

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index 81ecdc936..032efba56 100644
--- a/docs/_static/custom.css
+++ b/docs/_static/custom.css
@@ -32,7 +32,19 @@ a:hover, a:focus {
 }
 
 .wy-side-nav-search > a {
-  color: #fcfffa;
+  color: #ace600;
+}
+
+.wy-side-nav-search > a:hover, > a:focus, > a:visited {
+  color: #ace600;
+}
+
+.wy-breadcrumbs a {
+  color: #739900;
+}
+
+.wy-breadcrumbs a:hover, a:focus {
+  color: #0099e6;
 }
 
 .wy-side-nav-search input[type="text"] {
@@ -56,10 +68,10 @@ a:hover, a:focus {
 }
 
 .wy-nav-top {
-  color: #fcfffa;
+  color: #ace600;
   background-color: #0099e6;
 }
 
 .wy-nav-top a {
-  color: #fcfffa;
+  color: #ace600;
 }