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