body {  font-family: Arial, Helvetica, sans-serif; font-size: small}
.section_header {  font-family: "Times New Roman", Times, serif; font-style: normal; font-weight: bold; font-size: 14pt; font-variant: normal; color: #003300}
a {  text-decoration: none; font-size: x-small}
a:hover { text-decoration: underline; font-size: x-small }
.language_link {  color: #FFFFCC}
.body_link {  color: #003300; font-weight: bold}