div.hovermenu { /* the box that contains the menu */
	margin: 0px 0px 0px 0px;
	border: 0px black solid;
	padding: 0px; 
	margin-left:auto;
	margin-right:auto;
	background-color:#ffffff;
	font-size: 16px;
	font-family: Arial, Helvetica, Verdana, sans-serif;
	height: 32px;
	z-index:100
}

div.hovermenu ul{
	padding: 0 0 0 0;
	margin-top: 0;
	height: 18px;
	font-weight: bold;
	z-index:100
}

div.hovermenu ul li{
	list-style: none;
	display: inline;
	z-index:100
}

div.hovermenu ul li a{
	float: left;
	padding: 5px 0.75em 5px 0.75em;
	border: 2px solid #75a7c4;
	background-color: #ffffff;
	color: #2D92C8;
	text-decoration: none;
}

div.hovermenu ul li a:hover{
	background-color: #2D92C8;
	color: #ffffff;
	border-style: outset;
}

html>body div.hovermenu ul li a:active{
	/* Apply mousedown effect only to NON IE browsers */
	border-style: inset;
}