.menu_border {
	BORDER-RIGHT: #000060 1px solid; BORDER-TOP: #000060 0px solid; BORDER-LEFT: #000060 1px solid; BORDER-BOTTOM: #000060 1px solid
}
A.txt {
  PADDING-RIGHT: 5px; PADDING-LEFT: 5px; PADDING-BOTTOM: 2px; COLOR: #55647A; PADDING-TOP: 2px;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 8pt;
  COLOR: #55647A;
  font-weight: bold;
  text-decoration: none;
}
A.txt:hover {
  PADDING-RIGHT: 5px; PADDING-LEFT: 5px; PADDING-BOTTOM: 2px; COLOR: #000060; PADDING-TOP: 2px;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 8pt;
  COLOR: #000060;
  font-weight: bold;
  text-decoration: none;
}