bug: Fix ugly margin on page header

This commit is contained in:
2026-06-08 22:43:45 +00:00
parent b8ba7728db
commit 8de734cee5

View File

@@ -139,7 +139,6 @@ td { padding: 7px 12px; border-bottom: 1px solid var(--border); vertical-align:
header { header {
border-bottom: 1px solid var(--border); border-bottom: 1px solid var(--border);
padding-bottom: 0.8em; padding-bottom: 0.8em;
margin-bottom: 1.4em;
color: var(--text-dim); color: var(--text-dim);
font-family: var(--font-mono); font-family: var(--font-mono);
font-size: 0.78em; font-size: 0.78em;