From 8de734cee5c17970b826ea4f18950146f9eb1243 Mon Sep 17 00:00:00 2001 From: Drew Malzahn Date: Mon, 8 Jun 2026 22:43:45 +0000 Subject: [PATCH] bug: Fix ugly margin on page header --- css/book-page.css | 1 - 1 file changed, 1 deletion(-) diff --git a/css/book-page.css b/css/book-page.css index 68fcb3f..d53dd71 100644 --- a/css/book-page.css +++ b/css/book-page.css @@ -139,7 +139,6 @@ td { padding: 7px 12px; border-bottom: 1px solid var(--border); vertical-align: header { border-bottom: 1px solid var(--border); padding-bottom: 0.8em; - margin-bottom: 1.4em; color: var(--text-dim); font-family: var(--font-mono); font-size: 0.78em;