MediaWiki:Geshi.css: Unterschied zwischen den Versionen
Aus Hobbyelektronik.org
Zeile 3: | Zeile 3: | ||
div.mw-geshi div,pre { | div.mw-geshi div,pre { | ||
font-family: Consolas, monospace !important; | font-family: Consolas, monospace !important; | ||
− | font-size: | + | font-size:12pt; |
} | } |
Version vom 9. Juni 2014, 13:49 Uhr
/* CSS in dieser MediaWiki-Systemnachricht wird auf die GeSHi-Syntaxhervorhebung angewendet */ div.mw-geshi div,pre { font-family: Consolas, monospace !important; font-size:12pt; }