Difference between revisions of "MediaWiki:Geshi.css"
Jump to navigation
Jump to search
| (2 intermediate revisions by the same user not shown) | |||
| Line 6: | Line 6: | ||
} | } | ||
| − | .lua.source-lua .de1, .lua.source-lua .de2 {font: normal normal monospace; margin:0; padding:0; background:none; vertical-align:top;} | + | .lua.source-lua .de1, .lua.source-lua .de2 {font: normal normal 1em monospace; margin:0; padding:0; background:none; vertical-align:top;} |
Latest revision as of 06:23, 15 May 2017
/* CSS placed here will be applied to GeSHi syntax highlighting */
div.mw-geshi {
padding: 1em;
margin: 1em 0;
border: 1px dashed #2f6fab;
}
.lua.source-lua .de1, .lua.source-lua .de2 {font: normal normal 1em monospace; margin:0; padding:0; background:none; vertical-align:top;}