docs: Fix spacing at the top

2026-05-26 20:49:55 +00:00 · 2025-07-24 13:37:52 +01:00
parent 68b0140c42
commit 1bc663e1c8
1 changed files with 5 additions and 0 deletions
@@ -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;
 }