Difference between revisions of "MediaWiki:Geshi.css"
Line 5: | Line 5: | ||
margin: 5px !important; |
margin: 5px !important; |
||
/*padding:5px;*/ |
/*padding:5px;*/ |
||
− | font-family: monospace |
+ | font-family: monospace !important; |
+ | font-size:11px; |
||
+ | } |
||
+ | .co0 { |
||
+ | font-family: monospace !important; |
||
font-size:11px; |
font-size:11px; |
||
} |
} |
Revision as of 18:46, 2 September 2015
/* CSS placed here will be applied to all skins */
div.mw-geshi div,pre .co0 {
border:1px dotted #808080;
background-color:#f2f7ff;
margin: 5px !important;
/*padding:5px;*/
font-family: monospace !important;
font-size:11px;
}
.co0 {
font-family: monospace !important;
font-size:11px;
}