/* Windows platform font sizes */
#A1 {font-family: Arial, Helvetica; font-size: 7.5pt}
#a2 {font-family: Arial, Helvetica; font-size: 8.5pt}
#a3 {font-family: Arial, Helvetica; font-size: 10pt}
#a4 {font-family: Arial, Helvetica; font-size: 11.5pt}
#a5 {font-family: Arial, Helvetica; font-size: 13.5pt}
#a6 {font-family: Arial, Helvetica; font-size: 18pt}
#a7 {font-family: Arial, Helvetica; font-size: 24pt}

#t1 {font-family: Times, Times New Roman; font-size: 7.5pt}
#t2 {font-family: Times, Times New Roman; font-size: 9.5pt}
#t3 {font-family: Times, Times New Roman; font-size: 10pt}
#t4 {font-family: Times, Times New Roman; font-size: 11.5pt}
#t5 {font-family: Times, Times New Roman; font-size: 13.5pt}
#t6 {font-family: Times, Times New Roman; font-size: 18pt}
#t7 {font-family: Times, Times New Roman; font-size: 24pt}

#v1 {font-family: Verdana, Arial, Helvetica; font-size: 8.5pt}
#v2 {font-family: Verdana, Arial, Helvetica; font-size: 9.5pt}
#v3 {font-family: Verdana, Arial, Helvetica; font-size: 10pt}
#v4 {font-family: Verdana, Arial, Helvetica; font-size: 11.5pt}
#va5 {font-family: Verdana, Arial, Helvetica; font-size: 13.5pt}
#v6 {font-family: Verdana, Arial, Helvetica; font-size: 18pt}
#v7 {font-family: Verdana, Arial, Helvetica; font-size: 24pt}