MediaWiki:Geshi.css: Difference between revisions

From miki
Jump to navigation Jump to search
No edit summary
(Reverted, does not work)
 
(One intermediate revision by the same user not shown)
(No difference)

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