.body {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 13px; line-height: 17px}
.subnav {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 11px}
.pubs {  font-family: Georgia, "Times New Roman", Times, serif; line-height: 19px; font-size: 13px}