
<!--
.factoid_big {  font-family: Arial, Helvetica, sans-serif; font-size: 17px; font-style: normal; line-height: 20px; font-weight: bold}
.article_normal {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; line-height: 13pt}
.article_smaller { font-family: Arial, Helvetica, sans-serif; font-size: 10px; line-height: 12px}
-->