MediaWiki:Geshi.css: Unterschied zwischen den Versionen
Aus Hobbyelektronik.org
Zeile 6: | Zeile 6: | ||
background-color: #F9F9F9; | background-color: #F9F9F9; | ||
border: 1px dashed #2F6FAB; | border: 1px dashed #2F6FAB; | ||
+ | padding: 1em; | ||
} | } |
Aktuelle Version vom 9. Juni 2014, 13: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; padding: 1em; }