From a423b58126c04046a9de37d1886a3381ad4a2641 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Wed, 17 Jan 2024 18:42:54 +0000
Subject: [PATCH] docs: fix custom CSS.

---
 docs/_static/custom.css | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index 163b9fa..69a6288 100644
--- a/docs/_static/custom.css
+++ b/docs/_static/custom.css
@@ -1,7 +1,19 @@
+/* Links in text should be underlined. */
+a { text-decoration: underline; }
+.wy-menu-vertical a, .wy-side-nav-search > a { text-decoration: none; }
+
+/* Match the logo colors in the background. */
+.wy-nav-top, .wy-side-nav-search { background-color: #784b9a; }
+
+/* Make the logo more reasonably sized. */
+.wy-side-nav-search > a img.logo { width: 160px; }
+
 /* Some of our section titles are looong */
-.wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; }
-.wy-side-nav-search { width: 325px; }
-.wy-nav-content-wrap { margin-left: 340px; }
+@media screen and (min-width:769px) {
+  .wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; }
+  .wy-side-nav-search { width: 325px; }
+  .wy-nav-content-wrap { margin-left: 340px; }
+}
 
 /* We don't have a version picker widget */
 .wy-nav-side { padding-bottom: 0; }