a
{text-decoration:none;}

font.main
{font-family: Times New Roman;
 font-size: 10pt;
 color: #000080;
}

font.sub
{
 font-family: Times New Roman;
 font-size: 10pt;
 color: #000080;
}

font.red
{
 font-family: Times New Roman;
 font-size: 12pt;
 color: #FF0000;
}

#menu
{position:absolute;
 top:5px;
 left:5px;
}