diff options
| -rw-r--r-- | extras/html/themes/default/style.css | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extras/html/themes/default/style.css b/extras/html/themes/default/style.css index f2cf40b..86f4d61 100644 --- a/extras/html/themes/default/style.css +++ b/extras/html/themes/default/style.css @@ -82,10 +82,12 @@ img { pre { font-family: code, monospace; padding: 20px; - border: 1px solid #cccccc; + border: 1px solid #dddddd; + border-radius: 15px; } span.inlinecode { font-family: code, monospace; border: 1px solid #999999; + border-radius: 2px; } |