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:10pt;
+
   font-size:12pt;
 
}
 
}

Version vom 9. Juni 2014, 12: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;
}