.menu-font, a.menu-font:link, a.menu-font:visited {
   font-size: 12px;
   color: #FFFFFF;
   text-decoration: none;
}

a.menu-font:hover {
   font-size: 12px;
   color: #FFFFFF;
   text-decoration: none;
}

.menu-bar a,
.menu-bar a:visited {
   color: #FFFFFF;
   border: 1px solid #0C4776;
   text-decoration: none;
   padding: 1px;
   padding-left: 5px;
   padding-right: 5px;

   /* IE5.0 Does not paint borders and padding on inline elements without a hieght/width */

   height: expression(/MSIE 5\.0/.test(navigator.userAgent) ? "16px" : "auto");
}

.menu-bar a:hover {
   color: #FFFFFF;
   background: #0C4776;
   border-left: 1px solid #1E6D97;
   border-right: 1px solid #051C2F;
   border-top: 1px solid #1E6D97;
   border-bottom: 1px solid #051C2F;
}

.menu-bar a:active, .menu-bar a:focus {
   -moz-outline: none;
   outline: none;
   /*
   ie does not support outline but ie55 can hide the outline using
   a proprietary property on HTMLElement. Did I say that IE sucks at CSS?
   */
   ie-dummy: expression(this.hideFocus=true);
}