MediaWiki:Geshi.css: Difference between revisions

From bwHPC Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
Line 8: Line 8:
font-size:11px;
font-size:11px;
}
}
.re[0-5], .co[0-5] {
/^co[0-9]$/ {
font-family: monospace !important;
font-family: monospace !important;
font-size:11px;
font-size:11px;

Revision as of 19:06, 2 September 2015

/* CSS placed here will be applied to all skins */
div.mw-geshi div,pre {
  border:1px dotted #808080;
  background-color:#f2f7ff;
  margin: 5px !important;
  /*padding:5px;*/
 font-family: monospace !important;
 font-size:11px;
}
/^co[0-9]$/ {
 font-family: monospace !important;
 font-size:11px;
}
Retrieved from "https://wiki.bwhpc.de/wiki/index.php?title=MediaWiki:Geshi.css&oldid=2536"