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