Difference between revisions of "MediaWiki:Geshi.css"

From hummy.tv Wiki
Jump to: navigation, search
(Created page with "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" * ...")
 
(No difference)

Latest revision as of 11:04, 18 August 2011

/* 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-monobook div.mw-geshi {
	padding: 1em;
	border: 1px dashed #2f6fab;
	color: black;
	background-color: #f9f9f9;
	line-height: 1.1em;
}
 
body.skin-modern div.mw-geshi {
	border: solid 1px #3c78b5;
	padding: 0.4em;
	background-color: #f0f0f0;
}
 
body.skin-simple div.mw-geshi {
	margin: 2em;
	border: solid 1px black;
}
 
body.skin-chick div.mw-geshi {
	padding: 1em;
	border: 1px dashed #2f6fab;
	color: black;
	background-color: #f9f9f9;
	line-height: 1.1em;
}
 
body.skin-vector 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, "Courier New" !important;
}
 
/* Geshi's colourscheme for MySQL is absolutely hideous. */
.mysql.source-mysql .kw1,
.mysql.source-mysql .kw2,
.mysql.source-mysql .kw3,
.mysql.source-mysql .kw6,
.mysql.source-mysql .kw10 {
	color: #993333;
}
 
.mysql.source-mysql .coMULTI,
.mysql.source-mysql .sy1 {
	color: #808080;
}
 
.mysql.source-mysql .br0 {
	color: #66cc66;
}