From 4ec79e032ceb782bf1f07e797334ccf173e9ef77 Mon Sep 17 00:00:00 2001 From: JozanLeClerc Date: Wed, 8 Jul 2020 19:31:10 +0200 Subject: Removed useless padding --- css/gitjoe.css | 1 - 1 file changed, 1 deletion(-) diff --git a/css/gitjoe.css b/css/gitjoe.css index 1e7c2b7..2f2e62f 100644 --- a/css/gitjoe.css +++ b/css/gitjoe.css @@ -140,7 +140,6 @@ pre { overflow: auto; margin-left: 1em; margin-right: 1em; - padding: 10px 10px 10px 10px; white-space: pre; border: 1px solid #aaa; } -- cgit v1.2.3