MediaWiki:Geshi.css
(Différences entre les versions)
Ligne 7 : | Ligne 7 : | ||
} | } | ||
− | .php.source-php .de1, .php.source-php .de2 { | + | .php.source-php .de1, .php.source-php .de2, .html4strict.source-html4strict .de1, .html4strict.source-html4strict .de2 { |
font-size : 1.2em !important; | font-size : 1.2em !important; | ||
} | } |
Version du 27 décembre 2011 à 18:14
/* 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, .html4strict.source-html4strict .de1, .html4strict.source-html4strict .de2 { font-size : 1.2em !important; }