diff options
| author | Paul Buetow <paul@buetow.org> | 2022-11-24 11:30:50 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2022-11-24 11:30:50 +0200 |
| commit | 4e4ad7d68f4b161641259a34761d736e28071cf1 (patch) | |
| tree | 47d327ec9c372432f3b6bc591b17db0599997c20 /extras | |
| parent | fa6a1ca85a8d3c0dc9aafe488fe4100389d59ad9 (diff) | |
adjust style
Diffstat (limited to 'extras')
| -rw-r--r-- | extras/html/style.css | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/extras/html/style.css b/extras/html/style.css index 981bc7e..8b74a0a 100644 --- a/extras/html/style.css +++ b/extras/html/style.css @@ -137,7 +137,8 @@ pre { margin-left: 23px; margin-right: 23px; padding: 23px; - border: 2px solid #aaaaaa; + border: 4px solid #aaaaaa; + border-style: ridge; } span.inlinecode { |