MediaWiki:Geshi.css: Difference between revisions

From miki
Jump to navigation Jump to search
(Created page with "→‎CSS placed here will be applied to GeSHi syntax highlighting: div.mw-geshi div,pre { font-family: monospace, "Courier New" !important; font-size:13px; }")
 
(Reverted, does not work)
 
(8 intermediate revisions by the same user not shown)
Line 2: Line 2:


div.mw-geshi div,pre {
div.mw-geshi div,pre {
/* Cancel font-size: 1.2em/1.2em from default code_style in GeSHi source */
font-family: monospace, "Courier New" !important;
font-size:13px;
font-size: 0.833em;
}
}

Latest revision as of 10:36, 1 December 2016

/* CSS placed here will be applied to GeSHi syntax highlighting */

div.mw-geshi div,pre {
/* Cancel font-size: 1.2em/1.2em from default code_style in GeSHi source */
  font-size: 0.833em;
}