MediaWiki:Geshi.css

De EjnTricks

Note : après avoir enregistré vos modifications, il se peut que vous deviez forcer le rechargement complet du cache de votre navigateur pour voir les changements.

  • Firefox / Safari : Maintenez la touche Maj (Shift) en cliquant sur le bouton Actualiser ou pressez Ctrl-F5 ou Ctrl-R (⌘-R sur un Mac) ;
  • Google Chrome : Appuyez sur Ctrl-Maj-R (⌘-Shift-R sur un Mac) ;
  • Internet Explorer : Maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl-F5 ;
  • Opera : Videz le cache dans Outils → Préférences.
/* Le code CSS inséré ici sera appliqué à la coloration syntaxique GeSHi. */
.bash.source-bash .de1{
background-color:#EEEDED;
border:1px solid;
}

.html4strict.source-html4strict .de1{
background-color:#EEEDED;
border:1px solid;
}

.java.source-java .de1{
background-color:#EEEDED;
border:1px solid;
}

.css.source-css .de1{
background-color:#EEEDED;
border:1px solid;
}

.php.source-php .de1{
background-color:#EEEDED;
border:1px solid;
}

.plsql.source-plsql .de1{
background-color:#EEEDED;
border:1px solid;
}

.sql.source-sql .de1{
background-color:#EEEDED;
border:1px solid;
}

.text.source-text .de1{
background-color:#EEEDED;
border:1px solid;
}

.xml.source-xml pre.de1 {
background-color:#EEEDED;
border:1px solid;
}