MediaWiki:Geshi.css: Difference between revisions

From miki
Jump to navigation Jump to search
(0.833em tto cancel default 1.2em/1.2em in GeSHi source code)
No edit summary
Line 3: Line 3:
div.mw-geshi div,pre {
div.mw-geshi div,pre {
font-family: "Fantasque Sans Mono", monospace !important;
font-family: "Fantasque Sans Mono", monospace !important;
font-size: 0.833em;
/* font-size: 0.833em; */
}
}

Revision as of 08:14, 30 November 2016

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

div.mw-geshi div,pre {
 font-family: "Fantasque Sans Mono", monospace !important;
/* font-size: 0.833em; */
}
Retrieved from "https://miki.immie.org/mediawiki/index.php?title=MediaWiki:Geshi.css&oldid=8961"