MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
did not work. |
source background color not as dark. |
||
| (35 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
/* CSS placed here will be applied to GeSHi syntax highlighting */ | /* CSS placed here will be applied to GeSHi syntax highlighting */ | ||
.mw-geshi | |||
{ | |||
padding: 3px; | |||
margin: 0; | |||
border-width: 0; | |||
background-color: #f8f8f8; | |||
font: normal normal 1.2em monospace; | |||
} | |||
pre.de1, pre.de2 | |||
{ | |||
margin: 0; | |||
} | |||
@media screen | |||
{ | |||
pre.de1, pre.de2 | |||
{ | |||
overflow: auto; | |||
max-height: 36em; | |||
} | |||
} | |||