.bodytext12px { font-size: 12px; font-family: "Times New Roman", Georgia, Times }
.headings14px { font-weight: bold; font-size: 14px; font-family: "Times New Roman", Georgia, Times }