.headline {
	font-family: "Times New Roman", Times, serif;
	font-size: x-large;
	font-weight: bold;
	color: #003E74;
}
.inlinetext {
	font-family: "Times New Roman", Times, serif;
	font-size: medium;
	color: #000000;
}
.topmenu {
	padding: 6px;
	font-family: "Times New Roman", Times, serif;
	font-size: small;
	color: #FFFFFF;
	text-align: left;
}