.header {  font-family: "Times New Roman", Times, serif; font-size: 40px; color: #999999}
.bodytext {  font-family: "Times New Roman", Times, serif; font-size: 14px; color: #000000; text-align: justify}
a:link {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #666666; text-decoration: none; border: #666666}
a:hover {  color: #000000; text-decoration: underline; font-family: Arial, Helvetica, sans-serif; font-size: 12px}
a:visited {  font-family: Arial, Helvetica, sans-serif; color: #666666; font-size: 12px; text-decoration: none}
li {  }
.tabletext {  font-family: "Times New Roman", Times, serif; font-size: 13px}
.tableheader {  font-family: "Times New Roman", Times, serif; font-size: 13px; font-weight: bold; color: #FFFFFF}
.highlight {  font-family: "Times New Roman", Times, serif; font-size: 16px; font-style: italic; color: #666666; font-weight: 500}
.tabletextbullets {  font-family: "Times New Roman", Times, serif; font-size: 14px; color: #0000FF; text-decoration: underline}
.bodytext1 {  font-family: "Times New Roman", Times, serif; font-size: 13px; font-weight: bold}
.highlight1 {  font-family: "Times New Roman", Times, serif; font-size: 16px; font-weight: bold}
.example_intro { font-family: "Times New Roman", Times, serif; font-size: 15px; color: #666666; text-align: justify }
.bodytext_sans { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #000000; text-align: justify }
.bodytext_big { font-family: "Times New Roman", Times, serif; font-size: 18px; color: #000000; text-align: justify }
.bodytext_sans_big { font-family: Arial, Helvetica, sans-serif; font-size: 16px; color: #000000; text-align: justify }
.bodytext_med { font-family: "Times New Roman", Times, serif; font-size: 16px; color: #000000; text-align: justify }
.bodytext_small { font-family: "Times New Roman", Times, serif; font-size: 13px; color: #000000; text-align: justify }
.tabletext_big { font-family: "Times New Roman", Times, serif; font-size: 14px}
.highlight_no_italic {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; font-weight: bold; color: #666666}
.headerblack_bold { font-family: "Times New Roman", Times, serif; font-size: 40px; color: #000000; font-weight: bold}
.boxedText { font-family: "Times New Roman", Times, serif; font-size: 13px; font-style: italic; color: #999999; font-weight: 500 }