MediaWiki:Geshi.css

(Différences entre les versions)
Aller à : Navigation, rechercher
(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;
}
Outils personnels
Espaces de noms
Variantes
Actions
Navigation
Boîte à outils