From 0191011bdee53830a55c8a7beb2f08c128a84269 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Thu, 4 Jan 2024 12:54:23 +0000
Subject: [PATCH] docs: links should be underlined.

---
 docs/_static/custom.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index 163b9fa..1b5cd7e 100644
--- a/docs/_static/custom.css
+++ b/docs/_static/custom.css
@@ -1,3 +1,7 @@
+/* Links in text should be underlined. */
+a { text-decoration: underline; }
+.wy-menu-vertical a, .wy-side-nav-search > a { text-decoration: none; }
+
 /* Some of our section titles are looong */
 .wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; }
 .wy-side-nav-search { width: 325px; }