MediaWiki:Geshi.css

From bwHPC Wiki
Revision as of 18:57, 2 September 2015 by R Barthel (talk | contribs)
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Note: After publishing, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Press Ctrl-F5.
/* 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;
}
.re2, .co0 {
 font-family: monospace !important;
 font-size:11px;
}
Retrieved from "https://wiki.bwhpc.de/wiki/index.php?title=MediaWiki:Geshi.css&oldid=2533"