Difference between revisions of "MediaWiki:Geshi.css"

From bwHPC Wiki
Jump to: navigation, search
Line 4: Line 4:
 
background-color:#edeae2;
 
background-color:#edeae2;
 
margin: 5px !important;
 
margin: 5px !important;
padding:5px;
+
/*padding:5px;*/
 
font-family: monospace;
 
font-family: monospace;
 
font-size:11px;
 
font-size:11px;

Revision as of 18:34, 2 September 2015

/* CSS placed here will be applied to all skins */
div.mw-geshi div,pre {
  border:1px dotted #808080;
  background-color:#edeae2;
  margin: 5px !important;
  /*padding:5px;*/
 font-family: monospace;
 font-size:11px;
}