From 3847ae23146c7539f86458236840495f4530f8b6 Mon Sep 17 00:00:00 2001
From: JozanLeClerc <bousset.rudy@gmail.com>
Date: Wed, 8 Jul 2020 19:32:34 +0200
Subject: Padding was not that useless after all

---
 css/gitjoe.css | 1 +
 1 file changed, 1 insertion(+)

(limited to 'css')

diff --git a/css/gitjoe.css b/css/gitjoe.css
index 2f2e62f..d3933a1 100644
--- a/css/gitjoe.css
+++ b/css/gitjoe.css
@@ -140,6 +140,7 @@ pre {
 	overflow: auto;
 	margin-left: 1em;
 	margin-right: 1em;
+	padding: 5px 5px 5px 5px;
 	white-space: pre;
 	border: 1px solid #aaa;
 }
-- 
cgit v1.2.3