MediaWiki:Geshi.css: verschil tussen versies

/* Hier geplaatste CSS wordt toegepast op GeSHi Syntax Highlighting */
div.mw-geshi {
  padding: 1em; 
  margin: 1em 0; 
  border: 1px dashed #2f6fab;
}

/* Fix so <tt>, <code> and <pre> tags get normal text size also in 
   some versions of Firefox, Safari, Konqueror, Chrome etc. */
tt, code, pre {
    font-family: monospace, sans-serif;
}
 
/* 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, sans-serif !important;
}