.body {  font-family: Verdana; font-size: 10pt; font-style: normal}
.highlight {  font-family: Verdana; font-size: 10pt; font-style: normal; font-weight: bold}
.whitehigh {  font-family: Verdana; font-size: 10pt; font-weight: bold; color: #FFFFFF}
.captions {  font-family: Verdana; font-size: 7pt}
.boldcaption {  font-family: Verdana; font-size: 7pt; font-weight: bold}
.titles {  font-family: Verdana; font-size: 11pt; font-weight: bold}