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 3: | Line 3: | ||
.source-bash { | .source-bash { | ||
font-size:1.25em !important; | font-size:1.25em !important; | ||
} | } | ||
.source-bash pre.de1, | |||
.source-bash pre.de2{ | |||
font: normal normal 1em/1.3em monospace | |||
} | |||
.source-bash *{ | .source-bash *{ | ||
Revision as of 13:00, 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
}
.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;
}