MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
Docs admin (talk | contribs) No edit summary |
Docs admin (talk | contribs) No edit summary |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
font-size:1.25em !important; | font-size:1.25em !important; | ||
} | } | ||
.source-bash | .source-bash pre.de1, | ||
.source-bash pre{ | .source-bash pre.de2{ | ||
font: normal normal 1em/1.3em monospace !important; | |||
} | |||
.source-bash *{ | |||
background-color:#000 !important; | background-color:#000 !important; | ||
color:#fff !important; | color:#fff !important; | ||
font-style: normal !important; | |||
} | } | ||
Latest revision as of 12:01, 12 December 2012
/* CSS placed here will be applied to GeSHi syntax highlighting */
.source-bash {
font-size:1.25em !important;
}
.source-bash pre.de1,
.source-bash pre.de2{
font: normal normal 1em/1.3em monospace !important;
}
.source-bash *{
background-color:#000 !important;
color:#fff !important;
font-style: normal !important;
}
div.mw-geshi {
padding: 1em;
margin: 1em 0;
border: 1px solid #fff;
background-color: #000;
}