From c0b6808daab53262fff02fee5d1d5fcebf5f22d4 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Fri, 29 Nov 2024 13:38:06 +0100
Subject: Add margins to headers in log automatically (without needing log_br).

---
 play.css | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'play.css')

diff --git a/play.css b/play.css
index 1de0d40..e164ffb 100644
--- a/play.css
+++ b/play.css
@@ -43,6 +43,8 @@ body.Communist header.your_turn { background-color: hsl(355, 70%, 75%); }
 #log .h2.dem { background-color: hsl(206, 85%, 80%); }
 #log .h2.com { background-color: hsl(355, 70%, 80%); }
 
+#log .h1, #log .h2, #log .h3 { margin: 6px 0; }
+
 #log div { padding-left: 20px; text-indent: -12px; }
 #log div.i { padding-left: 32px; text-indent: -12px; }
 #log div.ii { padding-left: 44px; text-indent: -12px; }
-- 
cgit v1.2.3