From 31bc41bd38b86eb36aeeac0808c4e5dc2e1bc22f Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Sun, 30 Mar 2025 03:36:13 -0700
Subject: [PATCH] Fix CSS for new footnote style

---
 .github/workflows/main.yml |  2 +-
 theme/reference.css        | 23 +++++++++--------------
 2 files changed, 10 insertions(+), 15 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 17f8ee425..269bbbbc9 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -4,7 +4,7 @@ on:
   merge_group:
 
 env:
-  MDBOOK_VERSION: 0.4.43
+  MDBOOK_VERSION: 0.4.48
 
 jobs:
   code-tests:
diff --git a/theme/reference.css b/theme/reference.css
index fdfe918a5..4dbd0a6e3 100644
--- a/theme/reference.css
+++ b/theme/reference.css
@@ -260,23 +260,18 @@ main > .rule {
     grid-column: rules;
 }
 
-/* Unset footnote margin,
-   see below for more information about margins */
-/* FIXME: this doesn't work. `unset` can still break the margin of the next element,
-          and since mdbook applies the margin to `:not(.footnore-definition)`,
-          it can literally be anything, so there is no way to properly fix it,
-          without changing mdbook... */
-:not(.footnote-definition) + .footnote-definition,
-.footnote-definition + :not(.footnote-definition) {
-    margin-block-start: unset;
+hr {
+    /* For some reason, grid is shrinking this to a point. */
+    width: 100%;
 }
 
-:not(.footnote-definition) + .footnote-definition {
-     margin-top: calc(2em - 16px);
+/* Too much space with the grid.
+*/
+.footnote-definition {
+    margin-top: 0;
 }
-
-.footnote-definition:has(+ :not(.footnote-definition)) {
-    margin-bottom: calc(2em - 16px);
+.footnote-definition li:first-child > *:first-child {
+    margin-top: 0;
 }
 
 /* This is quite dumb, ugh.