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.