.unnamed1 {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 11pt; background-color: #FFFFFF; color: #000000}
.bolc {  font-family: Arial, Helvetica, sans-serif; font-size: 11pt; font-style: normal; font-weight: bolder}
.10pttext {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 10pt}
.10ptbold {  font-size: 10pt; font-weight: bolder}
.highlighted {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 10pt}
.12point {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 12pt}