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 |
||
| Line 7: | Line 7: | ||
.source-bash pre.de1, | .source-bash pre.de1, | ||
.source-bash pre.de2{ | .source-bash pre.de2{ | ||
font: normal normal 1em/1.3em monospace | font: normal normal 1em/1.3em monospace !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;
}