.bodytext { font-size: 14px; font-family: Times, "Times New Roman", Georgia }
.bodytextsmall { font-size: 12px; font-family: Times, "Times New Roman", Georgia }