diff options
-rw-r--r-- | main.css | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -87,4 +87,13 @@ pre.captioned { -webkit-border-radius: 0 0 4px 4px; -moz-border-radius: 0 0 4px 4px; border-radius: 0 0 4px 4px; +} + +.mw-code { + font-size: 1em !important; +} + +pre < pre { + font-size: 1em !important; + margin: 0 !important; }
\ No newline at end of file |