MediaWiki:Geshi.css
Jump to navigation
Jump to search
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 GeSHi syntax highlighting */
.mw-geshi > div[class] > pre.de1 { padding: 1em; margin: 1em 0; border: 1px dashed #2F6FAB; }
div.mw-geshi div,pre {
font-family: monospace, "Courier New" !important;
font-size:13px;
}