MediaWiki:Geshi.css: Unterschied zwischen den Versionen

Aus Gemini-Wiki
Zur Navigation springen Zur Suche springen
(Die Seite wurde neu angelegt: „→‎* ----- SyntaxHighlight ----- *: div.mw-geshi { padding: 1em; margin: 1em 0; border: 1px dashed #2f6fab; background-color: #f9f9f9; }“)
 
Zeile 5: Zeile 5:
 
   border: 1px dashed #2f6fab;
 
   border: 1px dashed #2f6fab;
 
   background-color: #f9f9f9;
 
   background-color: #f9f9f9;
 +
}
 +
 +
/* Fix so <tt>, <code>, and <pre> display in a suitable size in firefox, chrome, etc */
 +
tt, code, pre {
 +
    font-size: 1.25em;
 
}
 
}

Version vom 25. November 2012, 18:05 Uhr

/** ----- SyntaxHighlight ----- **/
div.mw-geshi {
  padding: 1em; 
  margin: 1em 0; 
  border: 1px dashed #2f6fab;
  background-color: #f9f9f9;
}

/* Fix so <tt>, <code>, and <pre> display in a suitable size in firefox, chrome, etc */
tt, code, pre {
    font-size: 1.25em;
}