MediaWiki:Common.css
Note: After saving, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
- Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.
/* <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> */