MediaWiki:Geshi.css: Difference between revisions

From bwHPC Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
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;
}
Retrieved from "https://wiki.bwhpc.de/wiki/index.php?title=MediaWiki:Geshi.css&oldid=2416"