diff options
| author | JozanLeClerc <bousset.rudy@gmail.com> | 2020-07-08 19:32:34 +0200 |
|---|---|---|
| committer | JozanLeClerc <bousset.rudy@gmail.com> | 2020-07-08 19:32:34 +0200 |
| commit | 3847ae23146c7539f86458236840495f4530f8b6 (patch) | |
| tree | 57edf36de7e6366b9108ffcb8a37c29a4c277784 | |
| parent | Removed useless padding (diff) | |
| download | gitjoe-www-3847ae23146c7539f86458236840495f4530f8b6.tar.gz gitjoe-www-3847ae23146c7539f86458236840495f4530f8b6.tar.bz2 gitjoe-www-3847ae23146c7539f86458236840495f4530f8b6.tar.xz gitjoe-www-3847ae23146c7539f86458236840495f4530f8b6.tar.zst gitjoe-www-3847ae23146c7539f86458236840495f4530f8b6.zip | |
Padding was not that useless after all
| -rw-r--r-- | css/gitjoe.css | 1 |
1 files changed, 1 insertions, 0 deletions
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; } |