MediaWiki:Geshi.css: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Mfgeg (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „→* ----- SyntaxHighlight ----- *: div.mw-geshi { padding: 1em; margin: 1em 0; border: 1px dashed #2f6fab; background-color: #f9f9f9; }“) |
Mfgeg (Diskussion | Beiträge) |
||
Zeile 5: | Zeile 5: | ||
border: 1px dashed #2f6fab; | border: 1px dashed #2f6fab; | ||
background-color: #f9f9f9; | background-color: #f9f9f9; | ||
+ | } | ||
+ | |||
+ | /* Fix so <tt>, <code>, and <pre> display in a suitable size in firefox, chrome, etc */ | ||
+ | tt, code, pre { | ||
+ | font-size: 1.25em; | ||
} | } |
Version vom 25. November 2012, 18:05 Uhr
/** ----- SyntaxHighlight ----- **/ div.mw-geshi { padding: 1em; margin: 1em 0; border: 1px dashed #2f6fab; background-color: #f9f9f9; } /* Fix so <tt>, <code>, and <pre> display in a suitable size in firefox, chrome, etc */ tt, code, pre { font-size: 1.25em; }