body {
background-color:#000040;
font-family:Verdana;
color:#DFDFDF;
}

*.selected {
background-color:#7E0018;
}

*.unrefereedpaper {
/*color:#ACACAC;*/
}

a { color:#C0C0FF; }
a:hover, a:active, a:focus { color:#A0A0FF; }
a img { border:2px outset blue; }
a:hover img, a:active img, a:focus img { border:2px inset blue; }
a:hover { cursor:pointer; }

table.mainmenu p.supertitle { margin:0px 0px 4px 0px; }
table.mainmenu p.subtitle { margin:0px 0px 5px 0px; }