a.top_menu_links,
a.top_menu_links:hover,
a.selected_top_menu,
a.selected_top_menu:hover {
	color:#2d6aaa;
	font-size:18px;
	margin-right:18px;
	margin-left:25px;
}
.menu_table {
	height:42px;
}
.dot_separator {
	background:url(/images/dot.gif) 0% 50% no-repeat;
}