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 |
/* CSS placed here will be applied to all skins */ |
||
div.mw-geshi div |
|||
source { |
|||
div.mw-geshi div pre, |
|||
/*font-size:1.6em;*/ |
|||
span.mw-geshi, |
|||
font-size:13px; |
|||
pre.source-css, |
|||
border:1px dotted #808080; |
|||
pre.source-javascript { |
|||
font-family: monospace, Courier !important; |
font-family: monospace, Courier !important; |
||
} |
} |
||