div.menu
{
 color: #FFFFFF; 
 text-align: left;
 margin-top: 10px;
 margin-right: 10px;
 margin-bottom: 10px;
 margin-left: 10px;
}
a.menu
{
 color: black;
 /*background: #000340;*/
 font-weight: 900;
 font-size: 130%;
 text-decoration: none;
 padding-top: 10px;
 padding-right: 10px;
 padding-bottom: 10px;
 padding-left: 10px;
}
a.menu:hover
{
 color: black;
 text-decoration: underline;
 /*background: orange;/*#483D8B;*/
}
a.menu:active
{
 color: black;
 /*background: orange;/*#483D8B;*/
}
a.menu:visited
{
 color: black;
}