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