From 74374e5f745b93cde0d3534264ff9801a13a72c5 Mon Sep 17 00:00:00 2001 From: David Rotermund <54365609+davrot@users.noreply.github.com> Date: Sat, 2 Dec 2023 20:38:53 +0100 Subject: [PATCH] Update default.html Signed-off-by: David Rotermund <54365609+davrot@users.noreply.github.com> --- _layouts/default.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_layouts/default.html b/_layouts/default.html index 8c20f98..47b128a 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -52,7 +52,7 @@ margin-bottom: 10px; } .highlight .hll { color: #000000; background-color: #d5e3f3 } - .highlight { color: #000000; border: 0px; background: #d5e3f3; } + .highlight {margin-bottom: 0px; color: #000000; border: 0px; background: #d5e3f3; } .highlight .c { color: #408080; font-style: italic } /* Comment */ .highlight .err { border: 1px solid #FF0000 } /* Error */ .highlight .k { color: #008000; font-weight: bold } /* Keyword */