MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
Broader application of the source box. |
source background color not as dark. |
||
(22 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 | pre.de1, pre.de2 | ||
Line 8: | Line 17: | ||
@media screen | @media screen | ||
{ | { | ||
pre | pre.de1, pre.de2 | ||
{ | { | ||
overflow: auto; | overflow: auto; |