MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
(Created page with "→CSS placed here will be applied to GeSHi syntax highlighting: div.mw-geshi { padding: 1em; margin: 1em 0; border: 1px dashed #2f6fab; background-color: #f9f9f9; }") |
No edit summary |
||
| (2 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 > div[class] > pre.de1 { padding: 1em; margin: 1em 0; border: 1px dashed #2F6FAB; } | |||
div.mw-geshi div,pre { | |||
font-family: monospace, "Courier New" !important; | |||
font-size:14px; | |||
} | |||
Latest revision as of 19:31, 15 November 2013
/* CSS placed here will be applied to GeSHi syntax highlighting */
.mw-geshi > div[class] > pre.de1 { padding: 1em; margin: 1em 0; border: 1px dashed #2F6FAB; }
div.mw-geshi div,pre {
font-family: monospace, "Courier New" !important;
font-size:14px;
}