BODY   { font-size: 10pt; line-height: 150% }
.class8pt  { font-size: 8pt; line-height: 150% }
.class9pt  { font-size: 9pt; line-height: 150% }
.class10pt    { font-size: 10pt; line-height: 150% }
.class10bold  { font-weight: bold; font-size: 10pt; line-height: 150% }
.class11pt  { font-size: 11pt; line-height: 150% }
.class11bold  { font-weight: bold; font-size: 11pt; line-height: 150% }
.class12pt  { font-size: 12pt; line-height: 150% }
.class12bold  { font-weight: bold; font-size: 12pt; line-height: 150% }
.class13pt  { font-size: 13pt; line-height: 150% }
.class14pt  { font-size: 14pt; line-height: 150% }
.class9ptwide  { font-size: 9pt; line-height: 200% }
.class10wide { font-size: 10pt; line-height: 200% }
.class11low { font-size: 11pt; line-height: 100% }