From c892f3b8ff5d9c8f6281cadcbfcf570453b67083 Mon Sep 17 00:00:00 2001 From: Alex Cabal Date: Mon, 14 Sep 2020 10:53:56 -0500 Subject: [PATCH] Tweak margin of manual dot leaders --- www/css/manual.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/www/css/manual.css b/www/css/manual.css index e1df54f1..97304afc 100644 --- a/www/css/manual.css +++ b/www/css/manual.css @@ -408,7 +408,7 @@ figure.corrected code{ border-color: rgba(0, 0, 0, .5); display: block; margin-left: 10.25rem; - margin-top: -.5rem; + margin-top: -.55rem; } .manual > article > section > section[id] > section > ol ol > li aside.number::after,