Difference between revisions of "MediaWiki:Common.css"
Jump to navigation
Jump to search
(common css for all skins) |
(css for articles search) |
||
Line 9: | Line 9: | ||
#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 22:15, 30 October 2006
/* <pre> */ 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> */