MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
/* CSS placed here will be applied to all skins */ |
/* CSS placed here will be applied to all skins */ |
||
div.mw-geshi div,pre { |
div.mw-geshi div,pre { |
||
border:1px dotted #808080; |
|||
background-color:#edeae2; |
|||
margin: 5px !important; |
|||
padding:5px; |
|||
font-family: monospace; |
font-family: monospace; |
||
font-size:11px; |
font-size:11px; |