From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 21 May 2021 10:19:10 +0000 (-0700)
Subject: api docs: Tweak and fix style. (#6582)
X-Git-Tag: cvc5-1.0.0~1714
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=23b990946473910eb8c781d555a4600efeb05b4b;p=cvc5.git

api docs: Tweak and fix style. (#6582)

This fixes the style for narrow layouts. It further fixes and improves
the style for the menu.
---

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index f657196ed..81ecdc936 100644
--- a/docs/_static/custom.css
+++ b/docs/_static/custom.css
@@ -1,13 +1,5 @@
 .wy-nav-content {
-  background: #f9fffa;
-}
-
-.wy-menu-vertical a {
-  color: #f9fffa;
-}
-
-.wy-menu-vertical a:hover, a:focus {
-  color: #0099e6;
+  background: #fcfffa;
 }
 
 code {
@@ -40,7 +32,7 @@ a:hover, a:focus {
 }
 
 .wy-side-nav-search > a {
-  color: #f9fffa;
+  color: #fcfffa;
 }
 
 .wy-side-nav-search input[type="text"] {
@@ -50,3 +42,24 @@ a:hover, a:focus {
 .wy-body-for-nav {
   background: #343131;
 }
+
+.wy-menu-vertical a {
+  color: #4dc3ff;
+}
+
+.wy-menu-vertical a:visited {
+  color: #4dc3ff;
+}
+
+.wy-menu-vertical a:hover, a:focus {
+  color: #ace600;
+}
+
+.wy-nav-top {
+  color: #fcfffa;
+  background-color: #0099e6;
+}
+
+.wy-nav-top a {
+  color: #fcfffa;
+}