Difference between revisions of "MediaWiki:Geshi.css"

From Robowiki
Jump to navigation Jump to search
m (try some formatting courtesy of Chase-san)
m (make imports black)
 
(One intermediate revision by the same user not shown)
Line 12: Line 12:
 
font-style:normal !important;
 
font-style:normal !important;
 
font-weight:normal !important;
 
font-weight:normal !important;
 +
}
 +
 +
div.mw-geshi .java span.nu0,
 +
div.mw-geshi .java5 span.nu0 {
 +
color: #FF8000 !important;
 
}
 
}
  
Line 43: Line 48:
 
}
 
}
  
 +
div.mw-geshi .java span.co2,
 +
div.mw-geshi .java5 span.co2,
 
div.mw-geshi .java span.br0,
 
div.mw-geshi .java span.br0,
 
div.mw-geshi .java5 span.br0,
 
div.mw-geshi .java5 span.br0,

Latest revision as of 07:53, 1 July 2010

/* 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.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.co2,
div.mw-geshi .java5 span.co2,
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;
}