.normal {  font-family: "Times New Roman", Times, serif; font-size: 12px}
.larger {  font-family: "Times New Roman", Times, serif; font-size: 14px; line-height: 15px}
.title {  font-family: "Times New Roman", Times, serif; font-size: 16px}
.toc {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12pt}