body {
	font-family: verdana, arial, sans serif;
	font-size: 9pt;
	color: navy;
	margin: 0 0 0 0
}

a {
	font-family: verdana, arial, sans serif;
	font-size: 9pt;
	color: blue;
}

.top_big {
	font-weight: bold;
	font-size: +2;
	font-family: verdana, arial, sans serif;
}

td {
	font-family: verdana, arial, sans serif;
	font-size: 9pt;
	color: black;
}

.topmenu {
	background-color: navy;
	color: white;
}

a.topmenu {
	color: white;
}
a.topmenu:hover {
	color: yellow;
}

.highlight {
	background-color: #ddddee;
}

.bluetext {
	color: navy;
}