MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
MagicalTux (talk | contribs) adding border to geshi |
MagicalTux (talk | contribs) making size matter |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
/* CSS placed here will be applied to GeSHi syntax highlighting */ | /* CSS placed here will be applied to GeSHi syntax highlighting */ | ||
div.mw-geshi { | div.mw-geshi { | ||
padding: 1em; | padding: 1em; | ||
margin: 1em 0; | margin: 1em 0; | ||
border: 1px dashed #2f6fab; | border: 1px dashed #2f6fab; | ||
} | |||
div.mw-geshi pre { | |||
font-size: 13px !important; | |||
} | } | ||