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;
}
