From 1bc663e1c8065c6bf8c489d3c419c8696e7b0dde Mon Sep 17 00:00:00 2001
From: Jade Ellis <jade@ellis.link>
Date: Thu, 24 Jul 2025 13:37:52 +0100
Subject: [PATCH] docs: Fix spacing at the top

---
 theme/css/chrome.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/theme/css/chrome.css b/theme/css/chrome.css
index f14ffc2c..0e37be26 100644
--- a/theme/css/chrome.css
+++ b/theme/css/chrome.css
@@ -605,3 +605,8 @@ ul#searchresults span.teaser em {
     margin-inline-start: -14px;
     width: 14px;
 }
+
+/* HACK: Stop the keyboard shortcuts from adding a giant space at the top */
+#mdbook-help-container {
+    display: none;
+}