ul.menu {margin:0;padding:0;list-style-type:none}
.menu li {float:left;margin:3pt;padding:3pt;width:330px}
.menu a {font-weight:bold}
.menu img {float:left;border:2px solid #404050;margin:2px}
.menu img:hover {border-color:#C0FFC0}

.grandtotal {text-align:center;color:#686880;font-family:arial,century gothic,serif;font-size:14pt}
.grandtotal td {padding:1em}
.grandtotal strong {font-size:20pt}
.grandtotal small {font-size:8pt}

/* v5 stats table and links */
.stats table {width:100%}
.stats a {font-weight:bold;text-decoration:none;color:#98CDFF}
.stats a:active {color:#D0F0D0}
.stats a:hover {color:#C0FFC0}

/* Top grey area (div.opt) */
.opt {background-color:#404050}
a.selected, a.lattice {color:#FFFFFF}
.reduced a {white-space:nowrap}
.optiminfo {font-size:7.2pt}
.muonhuman {color:#FF0000;background-color:#600000}
.muoncomp {color:#00FF00;background-color:#006000}

/* servers.php style stuff */
.note {text-align:right;font-style:italic;font-size:10px}