.f8h10 { font-size: 8pt; line-height: 10pt }
.f8h12 { font-size: 8pt; line-height: 12pt }
.f8h14 { font-size: 8pt; line-height: 14pt }
.f9h10 { font-size: 9pt; line-height: 10pt }
.f9h11 { font-size: 9pt; line-height: 11pt }
.f9h12 { font-size: 9pt; line-height: 12pt }
.f9h14 { font-size: 9pt; line-height: 14pt }
.f11h15 { font-size: 11pt; line-height: 15pt }
A:hover    { color: fuchsia }