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-family: Consolas, monospace !important;
  font-size:10pt;
+
    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;
}