MediaWiki:Geshi.css: Unterschied zwischen den Versionen

Aus Gemini-Wiki
Zur Navigation springen Zur Suche springen
 
(5 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 1: Zeile 1:
/** ----- SyntaxHighlight ----- **/
+
/* 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;
 +
}

Aktuelle Version vom 28. November 2012, 00:07 Uhr

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