.bodytext {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 10pt; color: #000000}
.table {  background-color: #CCCCCC; border: 1px #663399 outset; font-family: Georgia, "Times New Roman", Times, serif; font-size: 10pt; color: #663399}
.tabletext {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 10pt; background-color: #FFFFFF; border: 0px #CCCCCC none}
.header {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 12pt; font-style: italic; color: #663399; font-weight: bold}
.link {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 10pt; font-style: italic; color: #993399}
.productname {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 10pt; font-style: italic; font-weight: bold; color: #CC0099}
.availablefrom {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 10pt; color: #9900FF}
.tableborder {  border: #000000; border-style: solid; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px}