MediaWiki:Geshi.css: Unterschied zwischen den Versionen

Aus Hobbyelektronik.org
Wechseln zu: Navigation, Suche
 
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;
}