table.menu	{
	position: absolute;
	cursor: hand;
	visibility: hidden;
}
#mainmenu	{
	left: 80px;
	top: 8px;
}
table.menu td	{
	color: #083194;            /* Must be the same as tdColor in the menu_script.js */
	background-color: #FFFFFF; /* Must be the same as tdBgColor in the menu_script.js */
	padding: 1px 8px 2px;
	font-family: verdana, arial,sans-serif;
	font-size: 8pt;
	white-space: nowrap;
}