a { text-decoration: none; color : blue; } 
a:hover {text-decoration: underline; color: navy}
body{font-family:  Helvetica, Verdana, Arial, sans-serif;}
h1,h2,h3,h4,h5 { font-family: Verdana, sans-serif; }


a.nav, a.nav:visited {
font-size: 10pt;
font-weight: 200;
color: #000000;
text-decoration: none;
text-align:center;
background-color: #cccccc; width: 110px; 
border: thin #000000 solid;
padding: 1;
margin-top:2; margin-right:0; margin-bottom:2; margin-left:3;
}
a.nav:hover {
font-size: 10pt;
font-weight: 200;
color: #000000;
text-decoration: none;
text-align:center;
background-color: #e0e0e0; width: 110px; 
border: thin #797979 solid;
padding: 1;
margin-top:2; margin-right:0; margin-bottom:2; margin-left:3;
}
.nav-table {
background-color: #0099CC;
border-top:thin #000000 solid; border-right:; border-bottom:thin #000000 solid; border-left:;
padding: ;
}
.function-table {
background-color: #cccccc;
border: thin #000000 solid;
padding: 1;
}