MediaWiki:Geshi.css: Unterschied zwischen den Versionen
Zeile 9: | Zeile 9: | ||
} | } | ||
− | div.mw-geshi | + | div.mw-geshi { font-size: 13px; border: 1px solid #eee !important; background: #fafafa !important; border-radius: 2px; padding: 8px; margin: 3px; } |
Version vom 7. September 2013, 23:36 Uhr
/* CSS in dieser MediaWiki-Systemnachricht wird auf die GeSHi-Syntaxhervorhebung angewendet */
div.mw-geshi div,
div.mw-geshi div pre,
span.mw-geshi,
pre.source-css,
pre.source-javascript {
font-family: monospace, "Courier New" !important;
}
div.mw-geshi { font-size: 13px; border: 1px solid #eee !important; background: #fafafa !important; border-radius: 2px; padding: 8px; margin: 3px; }