body {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 11pt; font-style: normal; line-height: normal; font-weight: normal}
h1 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 20pt; font-style: normal; line-height: 26pt; font-weight: bold; color: #3853A3; text-align: center}
h2 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 16pt; font-style: italic; line-height: 20pt; font-weight: bold; color: #3853A3}
h3 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12pt; font-style: normal; line-height: normal; font-weight: bold; color: #3853A3}
h4 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12pt; font-style: italic; line-height: normal; font-weight: bold; color: #000000}
/* All type sizes are now fixed.  */
/* This seems necessary to protect people */
/* from their own browser settings. */
h5 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; line-height: normal; font-weight: normal} 
/* Was 7.5pt */
h6 {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 10pt; font-style: normal; line-height: normal; font-weight: normal}
p {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 11pt; font-style: normal; line-height: normal; font-weight: normal; text-align: left; vertical-align: baseline}
pre {  font-family: "Courier New", Courier, mono; font-size: 9pt; font-style: normal; line-height: normal; font-weight: normal}
table {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 11pt; font-style: normal; line-height: normal; font-weight: normal; text-align: left; vertical-align: baseline}
small { font-size: 9pt }