MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 5: | Line 5: | ||
font-size: 0.833em; |
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; |
|||
// } |
Revision as of 10:35, 1 December 2016
/* 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;
// }