.times18bold {  font-family: "Times New Roman", Times, serif; font-size: 18px; font-weight: bold}
.times16 {  font-family: "Times New Roman", Times, serif; font-size: 16px}
.times14 {  font-family: "Times New Roman", Times, serif; font-size: 14px}
.times12 {  font-family: "Times New Roman", Times, serif; font-size: 12px}
.veranda12 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px}
.timesbold20 {  font-family: "Times New Roman", Times, serif; font-size: 24px}
.georgiabold18 {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 18px; font-weight: bold}
.georgia16 {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 16px; font-weight: bold; text-decoration: none}
a {  text-decoration: none}