MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
Attempt to remove border from source boxes. |
source background color not as dark. |
||
| (30 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 | ||
{ | { | ||
background-color: # | 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; | |||
} | |||
} | } | ||