MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
(Reverted, does not work) |
||
| 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; |
|||
// } |
|||