Difference between revisions of "MediaWiki:Geshi.css"

From bwHPC Wiki
Jump to: navigation, search
 
Line 2: Line 2:
 
div.mw-geshi div,pre {
 
div.mw-geshi div,pre {
 
border:1px dotted #808080;
 
border:1px dotted #808080;
background-color:#dddddd;
+
background-color:#E7E7E7;
 
margin: 5px !important;
 
margin: 5px !important;
 
/*padding:5px;*/
 
/*padding:5px;*/

Latest revision as of 19:45, 2 September 2015

/* CSS placed here will be applied to all skins */
div.mw-geshi div,pre {
  border:1px dotted #808080;
  background-color:#E7E7E7;
  margin: 5px !important;
  /*padding:5px;*/
 font-family: monospace !important;
 font-size:11px;
}
.co0, .co1, .co2, .co3, .co4, .co5,
.re0, .re1, .re2, .re3, .re4, .re5,
.es0, .es1, .es2, .es3, .es4, .es5, .es_h,
.kw1, .kw2, .kw3,
.de1, .de2,
.ln, .li1, .li2, .ln-xtra,
.br0, .sy0, .st0, .st_h, .nu0
 {
 font-family: monospace !important;
 font-size:11px;
}