.13pt_bold {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; font-size: 13px; font-style: normal; font-weight: bold}
.12pt_normal {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; font-variant: normal; text-transform: none}
.11pt_normal {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; font-size: 11px}
.10pt_normal {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; font-size: 10px}