font {
	font-family: Times New Roman, Times, serif;
	font-size: 12px;
}
.bigtext {
	font-family: Times New Roman, Times, serif;
	font-size: 12pt;
	font-weight: bold;
}
.body {
	font-family: Times New Roman, Times, serif;
	font-size: 12pt;
}
.boldtext {
	font-family: Times New Roman, Times, serif;
	font-size: 12pt;
	font-weight: bold;
}