.headline {
	font-family: "Times New Roman", Times, serif;
	font-size: 1em;
}
.darkblue {
	color: #000066;
}
.maintext {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 0.8em;
	line-height: 1.3em;
}
p {
	margin-top: 10px;
	margin-bottom: 10px;
}
li {
	margin-top: 5px;
	margin-bottom: 5px;
}