From 6d7994bc22f83156ac682c66d1cf0617d6f9e42b Mon Sep 17 00:00:00 2001
From: Jeremiah Lowin <153965+jlowin@users.noreply.github.com>
Date: Mon, 9 Jun 2025 18:02:34 -0400
Subject: [PATCH] Hide sidebar by default

---
 docs/style.css | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/docs/style.css b/docs/style.css
index 1e98ae2ff..f027f3706 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -117,3 +117,14 @@ h6 code:not(pre code) {
   background: #334155;
   border: 1px solid #64748b;
 }
+
+/* Hide the sidebar overflow by default, but allow it to be shown on hover */
+#sidebar-content {
+  overflow-y: hidden;
+}
+
+#sidebar-content:hover,
+#sidebar-content:active,
+#sidebar-content:focus {
+  overflow-y: auto;
+}