Utilisateur:Cynddl/BàS

Balise <source>

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;
}