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>
*/

span.minor {
    font-style:italic;
    font-weight:normal;
}

#googleSearch {
    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>
*/