body {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 12pt; font-weight: normal}
a {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 12pt; font-style: italic; font-weight: bold; color: #008000}