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 */
div.mw-geshi div,pre {
/* Cancel font-size: 1.2em/1.2em from default code_style in GeSHi source */
font-size: 0.833em;
}
/** GeSHi Syntax Highlight - custom styles */
/** ... by default, we add a left border + left padding + left margin + lightgray background (for clarity) */
pre
{
margin: 0.5em 0em 0.5em 2em;
padding: 0em 0em 0em 1em;
border: none;
border-left: 1px dashed #2f6fab;
// background-color: #f9f9f9;
}
.mw-highlight {
background: none;
}
/** GeSHi Syntax Highlight - custom styles */
/** ... by default, we add a left border + left padding + left margin + lightgray background (for clarity) */
// div.mw-geshi
// {
// margin: 0.5em 0em 0.5em 2em;
// padding: 0em 0em 0em 1em;
// border-left: 1px dashed #2f6fab;
// background-color: #f9f9f9;
// }
/** ... except if the <source> tag is enclosed in a <div class="noborder"> */
// div.noborder div.mw-geshi
// {
// margin: 0px;
// padding: 0px;
// border-left: none;
// background-color: inherit;
// }