MediaWiki:Geshi.css: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Mfgeg (Diskussion | Beiträge) |
Mfgeg (Diskussion | Beiträge) |
||
Zeile 1: | Zeile 1: | ||
/** ----- SyntaxHighlight ----- **/ | /** ----- SyntaxHighlight ----- **/ | ||
+ | /* Fix so <source> tags, and .css and .js pages, get normal text size | ||
+ | also in some versions of Firefox, Safari, Konqueror, Chrome etc. */ | ||
+ | div.mw-geshi div, | ||
+ | pre { | ||
+ | font-family: monospace, "Courier New" !important; | ||
+ | } |
Version vom 27. November 2012, 22:32 Uhr
/** ----- SyntaxHighlight ----- **/ /* Fix so <source> tags, and .css and .js pages, get normal text size also in some versions of Firefox, Safari, Konqueror, Chrome etc. */ div.mw-geshi div, pre { font-family: monospace, "Courier New" !important; }