From 060945150ef443d6bea00a28376b08da7f8340ac Mon Sep 17 00:00:00 2001
From: YugaEgo <yet@ego.team>
Date: Mon, 24 Jan 2022 18:17:06 +0200
Subject: [PATCH] * html/layout.css (pre.src): Add margin-bottom

---
 html/layout.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/html/layout.css b/html/layout.css
index 48f9aa5fc7..963d19d6d6 100644
--- a/html/layout.css
+++ b/html/layout.css
@@ -126,6 +126,10 @@ pre .kw {
   color: #4f0f71;
 }
 
+pre.src {
+  margin-bottom: 2em;
+}
+
 p {
   margin-bottom: 2em;
 }
-- 
2.34.1