.orig_mainstyle {font-family: Arial, Helvetica, sans-serif; font-size: 12pt}
.mainstyle {font-family: Arial, Helvetica, sans-serif; font-size: 10pt}
.orig_mainstylehl {font-family: Arial, Helvetica, sans-serif; font-size: 13pt; font-weight: bold}
.mainstylehl {font-family: Arial, Helvetica, sans-serif; font-size: 10pt; font-weight: bold}
.mainlarge {font-family: Arial, Helvetica, sans-serif; font-size: 16pt; font-weight: bold}
.headstyle {font-family: Arial, Helvetica, sans-serif; font-size: 20pt}