Balise <source> modifier

Actuellement

type t =
  | Node of (Mbr.t * t) list
  | Leaf of (Mbr.t * Element.t) list
  | Empty


Proposition

/* 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;
}
div.mw-geshi {
  border: solid 1px #dddddd;
  background: #f6f6f6;
  padding: 1em;
}