BODY.menu {
	background-color:#0780B4;
	text-align:left;
	font-size: 9pt;
	background-image: none;	
	}
BODY.menu table {
	border-spacing: 0px;
	}
BODY.menu td {
	border: 2px solid #0780B4;
	height: 25px ;
	background-color:#0780B4;
	}
td.menuHL{
	border: 2px solid #114477;
	background-color:#3377AA;
	}
td.menu A {
	font-size: 13pt;
	}
BODY.menu td.submenu {
	height: 15px;
	border: 1px solid #0780B4;
	background-color:#0780B4;
	}
td.submenuHL{
	border: 1px solid #114477;
	background-color:#3377AA;
	}
td.submenu A {
	margin-left:10px;
	font-size: 9pt;
	}

/* mozilla only */
table tr:first-child td.menu {
	-moz-border-radius: 8px 8px 0px 0px ;
	}
table tr:last-child td.menu {
	-moz-border-radius: 0px 0px 8px 8px ;
	}