MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| (25 intermediate revisions by the same user not shown) | |||
| Line 2: | Line 2: | ||
div.mw-geshi div,pre { |
div.mw-geshi div,pre { |
||
border:1px dotted #808080; |
border:1px dotted #808080; |
||
background-color:# |
background-color:#E7E7E7; |
||
margin: 5px !important; |
margin: 5px !important; |
||
/*padding:5px;*/ |
/*padding:5px;*/ |
||
font-family: monospace !important; |
|||
font-size:11px; |
|||
} |
|||
.co0, .co1, .co2, .co3, .co4, .co5, |
|||
.re0, .re1, .re2, .re3, .re4, .re5, |
|||
.es0, .es1, .es2, .es3, .es4, .es5, .es_h, |
|||
.kw1, .kw2, .kw3, |
|||
.de1, .de2, |
|||
.ln, .li1, .li2, .ln-xtra, |
|||
.br0, .sy0, .st0, .st_h, .nu0 |
|||
{ |
|||
font-family: monospace !important; |
font-family: monospace !important; |
||
font-size:11px; |
font-size:11px; |
||
Latest revision as of 19:45, 2 September 2015
/* CSS placed here will be applied to all skins */
div.mw-geshi div,pre {
border:1px dotted #808080;
background-color:#E7E7E7;
margin: 5px !important;
/*padding:5px;*/
font-family: monospace !important;
font-size:11px;
}
.co0, .co1, .co2, .co3, .co4, .co5,
.re0, .re1, .re2, .re3, .re4, .re5,
.es0, .es1, .es2, .es3, .es4, .es5, .es_h,
.kw1, .kw2, .kw3,
.de1, .de2,
.ln, .li1, .li2, .ln-xtra,
.br0, .sy0, .st0, .st_h, .nu0
{
font-family: monospace !important;
font-size:11px;
}