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; }")
 
No edit summary
Line 2: Line 2:


div.mw-geshi div,pre {
div.mw-geshi div,pre {
font-family: monospace, "Courier New" !important;
font-family: "DejaVu Sans Mono", "Fantasque Sans Mono", monospace !important;
font-size:13px;
font-size:1em;
}
}

Revision as of 07:28, 30 November 2016

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

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