.top_menu {  font-size: x-small; font-style: normal; font-weight: bold; color: #3366CC; text-align: center; border: 1px #CCCCCC outset; text-decoration: none}
.topmenu_text {  font-size: x-small; font-style: normal; line-height: normal; font-weight: bold; color: #0066CC; text-decoration: none}