/* =============== MENU */
a.menu {
	font-size: 9pt;
    text-decoration: none;
	color: #0000C0;
}
a.menu:hover {
	color: red;
    text-decoration: underline;
}
td.menu {
	font-size: 8pt;
	color: red;
	font-weight: bold;
}
div.hmenu {
	font-size: 15pt;
	font-family: Times New Roman;
    font-weight: bold;
	color: black;
}

td.menutable {
	background-color: /*#00CC99*/  #00EEAA ;
}