From 994ce8cc8625f34f19c1f892dd40256b93d97018 Mon Sep 17 00:00:00 2001
From: Brett Randall <javabrett@gmail.com>
Date: Mon, 7 Sep 2020 14:27:36 +1000
Subject: [PATCH] CSS: added pre margin-bottom: 20px.

---
 docs/web/stylesheets/stylesheet.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/web/stylesheets/stylesheet.css b/docs/web/stylesheets/stylesheet.css
index 8b1d2c0..eac0014 100644
--- a/docs/web/stylesheets/stylesheet.css
+++ b/docs/web/stylesheets/stylesheet.css
@@ -173,6 +173,7 @@ pre, code {
 pre {
   width: 100%;
   padding: 10px;
+  margin-bottom: 20px;
   box-shadow: 0 0 10px rgba(0,0,0,.1);
   overflow: auto;
 }