MediaWiki:Geshi.css: Unterschied zwischen den Versionen
Aus Hobbyelektronik.org
Zeile 2: | Zeile 2: | ||
div.mw-geshi div,pre { | div.mw-geshi div,pre { | ||
− | + | font-family: Consolas, monospace !important; | |
− | + | font-size:10pt; | |
+ | background-color: #F9F9F9; | ||
+ | border: 1px dashed #2F6FAB; | ||
} | } |
Version vom 9. Juni 2014, 12:51 Uhr
/* CSS in dieser MediaWiki-Systemnachricht wird auf die GeSHi-Syntaxhervorhebung angewendet */ div.mw-geshi div,pre { font-family: Consolas, monospace !important; font-size:10pt; background-color: #F9F9F9; border: 1px dashed #2F6FAB; }