MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
http://en.wikipedia.org/w/index.php?title=MediaWiki:Geshi.css&oldid=434991812 |
>Garbear m support possible future skin |
||
| (2 intermediate revisions by one other user not shown) | |||
| Line 36: | Line 36: | ||
body.skin-chick div.mw-geshi, | body.skin-chick div.mw-geshi, | ||
body.skin-monobook div.mw-geshi, | body.skin-monobook div.mw-geshi, | ||
body.skin-vector div.mw-geshi { | body.skin-vector div.mw-geshi, | ||
body.skin-xbmc div.mw-geshi { | |||
padding: 1em; | padding: 1em; | ||
border: 1px dashed #2f6fab; | border: 1px dashed #2f6fab; | ||
| Line 42: | Line 43: | ||
background-color: #f9f9f9; | background-color: #f9f9f9; | ||
line-height: 1.1em; | line-height: 1.1em; | ||
} | |||
/* Fix so <source> tags, and .css and .js pages, get normal text size | |||
also in some versions of Firefox, Safari, Konqueror, Chrome etc. */ | |||
div.mw-geshi div, | |||
pre { | |||
font-family: monospace, sans-serif !important; | |||
} | } | ||
Latest revision as of 13:21, 1 October 2012
/* This css will override styles used by the GeSHi syntax highlighting,
such that less awful colors for the highlighting can be chosen. */
/**
* Language code: "vb"
*
* Overrides colors used for keywords from that horrible gold
* to more tolerable blue. Other colors left as default at present time.
*/
.source-vb .kw1 {color: #006 !important }
/**
* Language code: "cpp"
*
* Color fix for member variables
*/
.source-cpp .me1 { color:#499; }
.source-cpp .me2 { color:#499; }
/* Reinstating borders */
body.skin-simple div.mw-geshi {
margin: 2em;
border: solid 1px black;
}
body.skin-modern div.mw-geshi {
border: solid 1px #3c78b5;
padding: 0.4em;
background-color: #f0f0f0;
}
body.skin-chick div.mw-geshi,
body.skin-monobook div.mw-geshi,
body.skin-vector div.mw-geshi,
body.skin-xbmc div.mw-geshi {
padding: 1em;
border: 1px dashed #2f6fab;
color: black;
background-color: #f9f9f9;
line-height: 1.1em;
}
/* Fix so <source> tags, and .css and .js pages, get normal text size
also in some versions of Firefox, Safari, Konqueror, Chrome etc. */
div.mw-geshi div,
pre {
font-family: monospace, sans-serif !important;
}