diff options
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 { |