table.menu	{
	position: absolute;
	border: 3px #28457d;
	cursor: pointer;
	cursor: hand;
	visibility: hidden;
}
#mainmenu	{
        position: static; 
        width: 884 px;
	    height: 25px;

}
table.menu td	{
	color: #28457d;            /* Must be the same as tdColor in the menu_script.js */
	background-color: #b5c2d3; /* Must be the same as tdBgColor in the menu_script.js */
	border: 2px;
        padding: 3px 8px 2px;
	font-family: Arial;
	font-size: 10pt;
	white-space: nowrap;
}