From a45d6c8b55096b6373f563244613a84a45ea11f5 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Tue, 4 Jan 2022 16:21:00 +0530
Subject: [PATCH] Fix #4421

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

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index 744f8c771..5bbd76e8a 100644
--- a/docs/_static/custom.css
+++ b/docs/_static/custom.css
@@ -28,3 +28,9 @@ details > summary {
     text-decoration-color: var(--color-link-underline);
     text-decoration-line: underline;
 }
+
+/* pygments adds an underline to some white-space, this is particularly visible in
+ * dark mode. Remove it. */
+.highlight .w {
+    text-decoration: none
+}