From f28ae512150123973bd8dcadd9613c263e3b4fa7 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sun, 19 Jun 2022 21:10:49 +0200
Subject: [PATCH] Style tweak

---
 preserves.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/preserves.css b/preserves.css
index 293099d..04cca61 100644
--- a/preserves.css
+++ b/preserves.css
@@ -20,7 +20,7 @@ body {
 }
 h1, h2, h3, h4, h5, h6 { color: #4f81bd; }
 h2 { border-bottom: solid #4f81bd 1px; }
-h3, h4 { margin: 0; padding: 0; }
+h3, h4 { margin: 1rem 0 0; padding: 0; }
 pre, code { background-color: #eee; font-family: "DejaVu Sans Mono", monospace; }
 code { font-size: 75%; }
 pre { padding: 0.33rem; line-height: 1; overflow-x: auto; }