.px10textclass { font-size: 12px; font-family: "Times New Roman", Georgia, Times }
.px10gray  { color: gray; font-size: 12px; font-family: verdana, arial, geneva, sans-serif }
.px12textclass { font-size: 14px; font-family: "Times New Roman", Georgia, Times }
.alert14px { color: red; font-size: 14px; font-family: "Times New Roman", Georgia, Times }
.highlight { font-size: 14px; font-family: "Times New Roman", Georgia, Times; background-color: aqua }
.px14textclass { font-size: 16px; font-family: "Times New Roman", Georgia, Times }
.px16bold { font-weight: bold; font-size: 16px; font-family: "Times New Roman", Georgia, Times }
.px18textclass { font-size: 18px; font-family: "Times New Roman", Georgia, Times }
.px18bold { font-weight: bold; font-size: 18px; font-family: "Times New Roman", Georgia, Times }
h3  { font-weight: bold; font-size: 18px; font-family: "Times New Roman", Georgia, Times }
h4 { font-size: 27px; font-family: "Times New Roman", Georgia, Times }
a  { color: #360; font-weight: bold }
a.highlight { color: #360 }
.px10red { color: red; font-size: 10px; font-family: "Times New Roman", Georgia, Times }