table.menu	{
	position: absolute;
	border: 0px solid white;
	cursor: pointer;
	visibility: hidden;
}
#mainmenu	{
	position: static;
}
table.menu td	{
	color: #ffff00;            /* Must be the same as tdColor in the menu_script.js */
	background-color: #000084; /* Must be the same as tdBgColor in the menu_script.js */
	border: 1px;
	padding: 4px 11px 4px;
	font-family: arial;
	font-size: 10pt;
	white-space: nowrap;
}