From 3689fce340c4255f7a82f4607fa64e1488a3a08f Mon Sep 17 00:00:00 2001 From: YugaEgo Date: Fri, 14 Jan 2022 13:41:39 +0200 Subject: [PATCH] * html/layout.css (pre): Add margin-bottom --- html/layout.css | 1 + 1 file changed, 1 insertion(+) diff --git a/html/layout.css b/html/layout.css index 48f9aa5fc7..96589cee1c 100644 --- a/html/layout.css +++ b/html/layout.css @@ -119,6 +119,7 @@ pre { padding: 1em; border: 1px solid #dadada; overflow-y: auto; + margin-bottom: 2em; } pre .kw { -- 2.34.1