From 1eea38c9c068c58871bd7ad7d97d3fd716eb88b0 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Mon, 27 Nov 2023 13:15:06 +0000
Subject: [PATCH] docs: fix sidebar CSS.

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

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index 43d1abf..163b9fa 100644
--- a/docs/_static/custom.css
+++ b/docs/_static/custom.css
@@ -1,5 +1,10 @@
 /* Some of our section titles are looong */
-.wy-menu-vertical { width: 340px; }
+.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; }
 
 /* Many of our diagnostics are even longer */
 .rst-content pre.literal-block, .rst-content div[class^="highlight"] pre, .rst-content .linenodiv pre { white-space: pre-wrap; }