diff options
| -rw-r--r-- | themes/garland/style.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/themes/garland/style.css b/themes/garland/style.css index 4f277451f..0aee0a8ec 100644 --- a/themes/garland/style.css +++ b/themes/garland/style.css @@ -57,6 +57,10 @@ quote, code, fieldset { margin: .5em 0; } +code, pre, kbd { + font-size: 115%; +} + p { margin: 0.6em 0 1.2em; padding: 0; |