MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
(Reverted, does not work) |
||
(7 intermediate revisions by the same user not shown) | |||
Line 2: | Line 2: | ||
div.mw-geshi div,pre { |
div.mw-geshi div,pre { |
||
/* Cancel font-size: 1.2em/1.2em from default code_style in GeSHi source */ |
|||
font-family: "DejaVu Sans Mono", "Fantasque Sans Mono", monospace !important; |
|||
font-size: 0.833em; |
|||
} |
} |