Difference between revisions of "MediaWiki:Geshi.css"
| Line 1: | Line 1: | ||
/* CSS placed here will be applied to GeSHi syntax highlighting */ |
/* CSS placed here will be applied to GeSHi syntax highlighting */ |
||
source { |
source { |
||
| − | font-size:1.6em; |
+ | /*font-size:1.6em;*/ |
| + | border:1px dotted #808080; |
||
| + | font-family: monospace, Courier !important; |
||
} |
} |
||
Revision as of 16:43, 17 July 2015
/* CSS placed here will be applied to GeSHi syntax highlighting */
source {
/*font-size:1.6em;*/
border:1px dotted #808080;
font-family: monospace, Courier !important;
}
