table.menu	{
	position: absolute;
	border: 0px solid black;
	cursor: pointer;
	cursor: hand;
	visibility: hidden;
}
#mainmenu	{
	right: 10px;
	top: 165px;
}
table.menu td	{
	font-size:1em;
	color: #ffffff;            /* Must be the same as tdColor in the menu_script.js */
	background-color: #003366; /* Must be the same as tdBgColor in the menu_script.js */
	border: 0px;
	font-weight: bold;
	font-size: small;
	padding: 0px 2px 5px 2px;
	white-space: nowrap;
	width: auto;
	vertical-align: middle;
	font-size:60%;
}