From 56998842f45f473c31e41cb4b1a06f9f2c82377b Mon Sep 17 00:00:00 2001 From: Tor Andersson Date: Sat, 16 Dec 2023 16:55:01 +0100 Subject: log formatting --- play.html | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) (limited to 'play.html') diff --git a/play.html b/play.html index bc1e177..9ef7a26 100644 --- a/play.html +++ b/play.html @@ -40,13 +40,9 @@ margin: 8px 0; } -#log .i1 { - padding-left: 20px; -} - -#log .i2 { - padding-left: 32px; -} +#log div { padding-left: 20px; text-indent: -12px; } +#log div.i1 { padding-left: 32px; text-indent: -12px; } +#log div.i2 { padding-left: 44px; text-indent: -12px; } #log .i { font-style: italic; -- cgit v1.2.3