.menu {
    color: white;
    font-family: Tahoma;
    font-size: 8pt;
    font-weight: bold;
    border-right: 1px solid white;
    text-decoration: none;
    background-color: #313031;
    padding: 5px;
}

.menu:hover {
    background-color: #FF6600;
}

.toolbar {
    background-color: #313031;
    padding: 5px 0px 5px 0px;
}

.txt{
color:#3A3A3A;
font-family:tahoma;
font-size:10px;

}

.normal {
color:#0000cc;
visited:#9900cc;
hover:#990000;

}

.navlink {
 color:#000000;
  visited:#FF6600;
}

.navlink:hover {
    background-color: #FFFFFF;
    color:#FF6600;
    text-decoration:none;
}

.nav_highlight {
    background-color:#000066;
    color:#ffff00;
}    

.nav {
    color:#000066; 
    background-color:#ffff00;
}