Difference between revisions of "MediaWiki:Geshi.css"
Jump to navigation
Jump to search
(Release update) |
(Re-try) |
||
| (3 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 */ | ||
/* | /* Ensure(?) all source is bold */ | ||
source { | |||
font-weight: bold; | font-weight: bold; | ||
} | } | ||
/* | /* Format font, and add box around formatted code */ | ||
div.mw-geshi { | div.mw-geshi { | ||
font-size: 1.4em; | |||
font-weight: bold; | |||
font-family: lucida console; | |||
padding: 1em; | padding: 1em; | ||
margin: | margin: .8em 0; | ||
border: 1px dashed #9EB19E; | border: 1px dashed #9EB19E; | ||
background-color: #f9f9f9; | background-color: #f9f9f9; | ||
} | } | ||
Latest revision as of 12:39, 8 May 2012
/* CSS placed here will be applied to GeSHi syntax highlighting */
/* Ensure(?) all source is bold */
source {
font-weight: bold;
}
/* Format font, and add box around formatted code */
div.mw-geshi {
font-size: 1.4em;
font-weight: bold;
font-family: lucida console;
padding: 1em;
margin: .8em 0;
border: 1px dashed #9EB19E;
background-color: #f9f9f9;
}