.bodytext {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 3.5mm;
}
h1 {
	font-family: "Times New Roman", Times, serif;
	font-size: 4.5mm;
	font-style: italic;
	font-weight: normal;
}
.clone {
	font-family: "Times New Roman", Times, serif;
	font-size: 4.5mm;
	font-style: italic;
	font-weight: normal;
}
.topmenu {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 2.7mm;
	color: #990000;
}

a.topmenu:link {
	color: #990000;
	text-decoration: none;

}
a.topmenu:visited {
	color: #990000;	
	text-decoration: none;

}
a.topmenu:hover {
	color: #990000;	
	text-decoration: underline;
}
a.topmenu:active {
	text-decoration: none;
	color: #ff0000;
}.smalltext {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 2.5mm;
}