1 files changed, 21 insertions, 1 deletions
diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css
index 66a1e35..e899c8f 100644
--- a/doc/_static/css/custom.css
+++ b/doc/_static/css/custom.css
@@ -3,9 +3,29 @@
 .alectryon-coqdoc .doc .inlinecode,
 .alectryon-mref,
 .alectryon-block, .alectryon-io,
-.alectryon-toggle-label, .alectryon-banner, pre, tt, code {
+.alectryon-toggle-label, .alectryon-banner, pre, tt, code,
+.rst-content kbd, .rst-content pre, .rst-content samp,
+.rst-content .linenodiv pre, .rst-content div[class^="highlight"] pre, .rst-content pre.literal-block {
     font-family: 'Iosevka Fixed Slab', 'Iosevka Slab Web', 'Iosevka Web', 'Iosevka Slab',
                  'Iosevka', 'Fira Code', monospace;
     font-feature-settings: "COQX" 1 /* Coq ligatures */, "XV00" 1 /* Legacy */, "calt" 1 /* Fallback */;
     line-height: initial;
+    font-size: 0.9em;
+}
+
+img { width: 100%; }
+a { color: #469369; }
+a:hover { color: #60b386; }
+
+.wy-menu-vertical header, .wy-menu-vertical p.caption {
+    color:  #fff5db;
+}
+
+.wy-nav-content, .wy-menu-vertical li.current > a, .wy-menu-vertical li.on a {
+    background-color: #fffbf2;
+    color: #2a3e40;
+}
+
+.wy-side-nav-search .wy-dropdown > a, .wy-side-nav-search > a {
+    color: #2a3e40;
 }