body {
	color: #000000;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	background-color: #FFFFFF;
	margin: 0px;
	padding: 0px;
}

p {
	font-size: 12px;
}

pre {
	font-size: 12px;
}
a.menu {
	background-color: transparent;
	display: block;
	width: 100%;
	color: #000033;
	text-decoration: none;
	border: 1px #DFE070 none;
	font-size: 10pt;
	font-weight: bold;
}

h3 {
	font-size: 14pt;
}

a.menu:link {
	background-color: transparent;
	display: block;
	width: auto;
	color: #000000;
	text-decoration: none; 
	border: 1px #DFE070 none
}

a.menu:visited {
	background-color: transparent;
	display: block; 
	width: auto;
	color: #000000;
	text-decoration: none;
	border: 1px #DFE070 none
}

a.menu:hover {
	background-color: #8C9DBE;
	border: 1px #000088 none;
	color: #000000;
}