Utilisateur:Cynddl/BàS
Balise <source>
modifier
Actuellement
type t =
| Node of (Mbr.t * t) list
| Leaf of (Mbr.t * Element.t) list
| Empty
Proposition
- Modifier Mediawiki:Geshi.css pour rétablir la taille normale :
/* Fix so <source> tags, and .css and .js pages, get normal text size
also in some versions of Firefox, Safari, Konqueror, Chrome etc. */
div.mw-geshi div, pre {
font-family: monospace, "Courier New" !important;
}
- Forcer l'affichage du cadre et du fond (toujours Mediawiki:Geshi.css) :
div.mw-geshi {
border: solid 1px #dddddd;
background: #f6f6f6;
padding: 1em;
}