.smallrighttext {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-style: normal; line-height: 14px; font-weight: normal; color: 000080}
.largerighttext {  font-family: Arial, Helvetica, sans-serif; font-size: 12pt; font-style: normal; font-weight: bold; line-height: 18px; color: 000080}
.topper {  font-family: Arial, Helvetica, sans-serif; font-size: 17pt; font-weight: bolder; line-height: 18px}
.BIGtopper {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 18pt; font-style: normal; font-weight: 900; color: #DC143C}
.smallserif {  font-family: "Times New Roman", Times, serif; font-size: 10pt; font-style: normal; font-weight: normal}
.smallerheader {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 15pt; font-style: normal; font-weight: bolder; color: 000080}
.smallnonserif {  font-family: Arial, Helvetica, sans-serif; font-size: 9pt; line-height: 14px}
.mediumnonserif {  font-family: Arial, Helvetica, sans-serif; font-size: 12pt; line-height: 19px}