MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| 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; |
|||
} |
} |
||