body {  font-family: Verdana, Helvetica; background-color: #3D4384}
h1.heading {  margin-bottom: 0px; color: #FFFFFF; font-size: 36px}
h1.title {  margin-bottom: 0px; margin-top: 0px; color: #FFFFFF; font-family: Verdana}
table.content {  background-color: #FFFFFF}
a.menu:link {  font-style: normal; font-variant: small-caps; color: blue; text-decoration: none}
a.menu:visited {  font-style: normal; font-variant: small-caps; color: blue; text-decoration: none}
a.menu:active {  font-style: normal; font-variant: small-caps; color: blue; text-decoration: none}
a.menu:hover {  font-style: normal; font-variant: small-caps; color: #CCC; text-decoration: underline}
.heading {  color: #CCCCCC; margin-top: 0px; font-weight: bold; font-size: smaller}
.list {  font-size: smaller; margin-bottom: 12pt}
dt {  font-weight: bold}
dd {  margin-bottom: 12pt; font-size: smaller}
address {  color: #CCCCCC; font-size: smaller}