MediaWiki:Geshi.css: Difference between revisions
Jump to navigation
Jump to search
(Hopefully just right) |
(Re-try) |
||
(5 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; | |||
} | |||
/* 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; | |||
margin: .8em 0; | |||
border: 1px dashed #9EB19E; | |||
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;
}