Difference between revisions of "MediaWiki:Geshi.css"
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; |
||
} |
} |
Revision as of 17:44, 17 July 2015
/* CSS placed here will be applied to all skins */
div.mw-geshi div
div.mw-geshi div pre,
span.mw-geshi,
pre.source-css,
pre.source-javascript {
font-family: monospace, Courier !important;
}