.normaltext {
	font-family: "Times New Roman", Times, serif;
	font-size: 14px;
}
.bigred {
	font-family: "Times New Roman", Times, serif;
	font-size: 14px;
	font-weight: bold;
	color: #C5192C;
}
.smalltext {
	font-family: "Times New Roman", Times, serif;
	font-size: 12px;
}
.history {
	font-family: "Times New Roman", Times, serif;
	font-size: 16px;
}