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