MediaWiki:Geshi.css

From bwHPC Wiki
Revision as of 18:56, 2 September 2015 by R Barthel (talk | contribs)
Jump to: navigation, search

Note: After saving, 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: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.
/* 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 {
 font-family: monospace !important;
 font-size:11px;
}