/* Menu bar */
.menu_link {
	text-decoration : none;	
	color : #FFFFFF;
	font-size : 10pt;
	font-weight : bolder;
	font-family : Verdana, Helvetica, sans-serif;
	padding : 10px;
}

.menu_link:hover {
	color : #FF0000;
	text-decoration : underline;	
}

.menu_highlight {
	text-decoration : none;	
	color : #FF0000;
	font-size : 10pt;
	font-weight : bolder;
	font-family : Verdana, Helvetica, sans-serif;
	padding : 10px;
}

.menu_cell {
	padding-top : 10px;
	padding-bottom : 10px;
}