Difference between revisions of "MediaWiki:Geshi.css"

/* 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;
}
.co0 .re2 {
 font-family: monospace !important;
 font-size:11px;
}