Difference between revisions of "MediaWiki:Geshi.css"

From bwHPC Wiki
Jump to: navigation, search
Line 2: Line 2:
 
source {
 
source {
 
/*font-size:1.6em;*/
 
/*font-size:1.6em;*/
  +
font-size:13px;
 
border:1px dotted #808080;
 
border:1px dotted #808080;
 
font-family: monospace, Courier !important;
 
font-family: monospace, Courier !important;

Revision as of 16:59, 17 July 2015

/* CSS placed here will be applied to GeSHi syntax highlighting */
source {
  /*font-size:1.6em;*/
  font-size:13px;
  border:1px dotted #808080;
  font-family: monospace, Courier !important;
}