MediaWiki:Geshi.css: Difference between revisions

From Official Kodi Wiki
Jump to navigation Jump to search
>Theuni
No edit summary
>Garbear
m (support possible future skin)
 
(4 intermediate revisions by 2 users not shown)
Line 1: Line 1:
div.mw-geshi {
/* This css will override styles used by the GeSHi syntax highlighting,
   padding: 1em;  
  such that less awful colors for the highlighting can be chosen. */
   margin:1em 0;  
 
   border: 1px dashed blue;
 
   background-color:#F9F9F9;
/**
* 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;
}
}

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;
}