MediaWiki:Geshi.css: Unterschied zwischen den Versionen

Aus Gemini-Wiki
Zur Navigation springen Zur Suche springen
 
(6 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
div.mw-geshi {
+
  also in some versions of Firefox, Safari, Konqueror, Chrome etc. */
  padding: 1em;
+
div.mw-geshi div,
  margin: 1em 0;
+
pre {
  border: 1px dashed #2f6fab;
+
        font-family: monospace, "Courier New" !important;
  background-color: #f9f9f9;
 
 
}
 
}

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