.storytext {  font-family: Times, "Times New Roman", serif; font-size: 12px; font-style: normal; line-height: 12px; font-weight: normal; overflow: visible; clip:   rect(   )}
.messagetext {  font-family: Courier, "Courier New", mono; font-size: 12px; font-style: normal; line-height: normal}
.verdanatext {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px}
.verdanatext12 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px}
.storytext14 {  font-family: Times, "Times New Roman", serif; font-size: 14px; overflow: auto; clip:  rect(   )}
.storytextlarge {  font-family: Times, "Times New Roman", serif; font-size: 16pt}
.linespacer {  line-height: normal}