a.menulink {
 color: Ghostwhite;
 text-decoration: none;
 font-weight: bold;
 font-size: 12px;
}
a.menulink:hover {
 color: White;
 text-decoration: underline;
}
#RobotMenu {
 border-style: none;
 border-width: 0px;
 padding: 0px;
 margin: 0px;
 list-style-type: none;
}
#RobotMenu li {
 width: 150px;
 position: relative;
 left:20px;
 padding: 1px;
 padding-right: 4px;
}
.menu0 {
 margin-left: 6px;
}
.activemenu0 {
 background-color: #2962B1;
 border-color: #FFFFFF;
 border-width: 2px;
 border-style: solid;
 border-bottom-width: 1px;
 margin-left: 6px;
}
.menu1 {
 border-color: #FFFFFF;
 border-width: 2px;
 border-style: solid;
 border-top-width: 1px;
 margin-left: 12px;
}
.activemenu1 {
 background-color: #2962B1;
 border-color: #FFFFFF;
 border-width: 2px;
 border-style: solid;
 border-top-width: 1px;
 margin-left: 12px;
}