19,659
edits
(updating to current version of Common.css from WP) |
(trying to see what caused tags like 'pre' to have smaller text) |
||
Line 943: | Line 943: | ||
pre.source-css, | pre.source-css, | ||
pre.source-javascript { | pre.source-javascript { | ||
font-family: monospace, | font-family: monospace, sans-serif !important; | ||
} | } | ||