MediaWiki:Geshi.css

From Robowiki
Revision as of 06:51, 1 July 2010 by Rednaxela (talk | contribs) (another tweak)
Jump to navigation Jump to search

Note: After saving, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.
/* CSS placed here will be applied to GeSHi syntax highlighting */

/* Add borders */
div.mw-geshi {
  padding: 1em; 
  margin: 1em 0; 
  border: 1px dashed #2f6fab;
}

/* Some formatting courtesy of Chase-san */
div.mw-geshi .java span, div.mw-geshi .java5 span {
	font-style:normal !important;
	font-weight:normal !important;
}

div.mw-geshi .java span.nu0,
div.mw-geshi .java5 span.nu0 {
	color: #FF8000 !important;
}

div.mw-geshi .java span.co2,
div.mw-geshi .java5 span.co2,
div.mw-geshi .java span.co3,
div.mw-geshi .java5 span.co3 {
	color: #006699 !important;
}

div.mw-geshi .java span.coMULTI,
div.mw-geshi .java5 span.coMULTI,
div.mw-geshi .java span.co1,
div.mw-geshi .java5 span.co1 {
	color: #008000 !important;
}

div.mw-geshi .java span.me1,
div.mw-geshi .java5 span.me1 {
	color: #000088 !important;
}

div.mw-geshi .java span.kw1,
div.mw-geshi .java5 span.kw1,
div.mw-geshi .java span.kw2,
div.mw-geshi .java5 span.kw2,
div.mw-geshi .java span.kw3,
div.mw-geshi .java5 span.kw3,
div.mw-geshi .java span.kw4,
div.mw-geshi .java5 span.kw4 {
	color: #7F0055 !important;
	font-weight:bold !important;
}

div.mw-geshi .java span.br0,
div.mw-geshi .java5 span.br0,
div.mw-geshi .java span.sy0,
div.mw-geshi .java5 span.sy0,
div.mw-geshi .java span.kw21,
div.mw-geshi .java5 span.kw21 {
	color: #000000 !important;
}