MediaWiki:Geshi.css
(Différences entre les versions)
(Page créée avec « – →Le code CSS inséré ici sera appliqué à la coloration syntaxique GeSHi. : div.mw-geshi { padding: 1em; margin: 1em 0; border: 1px dashed #2f6fab; backgrou... ») |
|||
Ligne 5 : | Ligne 5 : | ||
border: 1px dashed #2f6fab; | border: 1px dashed #2f6fab; | ||
background-color: #f9f9f9; | background-color: #f9f9f9; | ||
+ | } | ||
+ | |||
+ | .php.source-php .de1, .php.source-php .de2 { | ||
+ | font-size : 1.2em !important; | ||
} | } |
Version du 27 décembre 2011 à 18:00
/* Le code CSS inséré ici sera appliqué à la coloration syntaxique GeSHi. */ div.mw-geshi { padding: 1em; margin: 1em 0; border: 1px dashed #2f6fab; background-color: #f9f9f9; } .php.source-php .de1, .php.source-php .de2 { font-size : 1.2em !important; }