.size9 {  font-size: 93%}
.size90 {  font-size: 80%; line-height: 1.5em}
line {  margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 4px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-color: black black black #999999; border-style: solid; border-top-width: 0px; border-right-width: 0px; border-bottom-width: 0px; border-left-width: 1px}
.s90 {  font-size: 80%; color: #666666; clip:   rect(   ); line-height: normal}
.date {  font-size: 10pt; line-height: 140%}
.line {  line-height: 93%}
.min {  font-size: 10pt; line-height: 0.9em}
.red {  color: #993366}
address {  font-size: 9pt; font-style: normal}