Difference between revisions of "MediaWiki:Common.css"
Jump to navigation
Jump to search
(common css for all skins) |
m (add a 'fourth' class) |
||
(2 intermediate revisions by one other user not shown) | |||
Line 2: | Line 2: | ||
<pre> | <pre> | ||
*/ | */ | ||
+ | |||
+ | .first { background-color:#00FFFF; } | ||
+ | .second { background-color:#CCFF66; } | ||
+ | .third { background-color:#FF6FCF; } | ||
+ | .fourth { background-color:#FFFF66; } | ||
+ | .cmd { font-family:monospace; } | ||
+ | .annot { font-family:sans-serif; margin-top:1cm; } | ||
+ | .large { font-size: 24pt; } | ||
span.minor { | span.minor { | ||
Line 9: | Line 17: | ||
#googleSearch { | #googleSearch { | ||
+ | width: 10.9em; | ||
+ | margin: 0; | ||
+ | font-size: 95%; | ||
+ | } | ||
+ | |||
+ | #search_string { | ||
width: 10.9em; | width: 10.9em; | ||
margin: 0; | margin: 0; |
Revision as of 11:28, 30 May 2019
/* <pre> */ .first { background-color:#00FFFF; } .second { background-color:#CCFF66; } .third { background-color:#FF6FCF; } .fourth { background-color:#FFFF66; } .cmd { font-family:monospace; } .annot { font-family:sans-serif; margin-top:1cm; } .large { font-size: 24pt; } span.minor { font-style:italic; font-weight:normal; } #googleSearch { width: 10.9em; margin: 0; font-size: 95%; } #search_string { width: 10.9em; margin: 0; font-size: 95%; } #bodyContent a[href ^="javascript:"] { background: none; padding: 0px; text-decoration: none ; } /* pg: new markup <texcode>..</texcode> */ pre.tex { color:#000000; } pre span.cs { color:#0000FF; } pre span.def { color:#FF0000; } pre span.comment { color:#333333; } pre span.br { color:red; } pre.xml { color:#000000; } pre span.name { color:blue; } /* </pre> */