.header {  font-family: "Times New Roman", Times, serif; font-size: 14px; font-style: normal; line-height: normal; font-weight: bold; color: #FF0000}
.bodytext {  font-family: "Times New Roman", Times, serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; color: #000033; text-align: justify}
.headerunderlines { font-family: "Times New Roman", Times, serif; font-size: 14px; font-style: normal; line-height: normal; font-weight: bold; color: #FF0000 ; text-decoration: underline}
.bodytextnojust { font-family: "Times New Roman", Times, serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; color: #000033}
.headersmaller { font-family: "Times New Roman", Times, serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: bold; color: #FF0000 }