.mini-headline {  color: #000000; font-family: Arial, Helvetica, sans-serif; font-size: 14pt; line-height: 14pt; font-weight: normal}
.intro {  color: #333333; font-family: Arial, Helvetica, sans-serif; font-size: 12pt; line-height: 13pt; font-weight: normal}
.bodytext {  color: #333333; font-family: Arial, Helvetica, sans-serif; font-size: 10pt; line-height: 11pt; font-weight: normal}
.bodytext-italic {  color: #333333; font-family: Arial, Helvetica, sans-serif; font-size: 10pt; line-height: 11pt; font-weight: normal; font-style: italic}
.bodytext-bold {  color: #333333; font-family: Arial, Helvetica, sans-serif; font-size: 10pt; line-height: 11pt; font-weight: bold; font-style: normal}
.small-bodytext-bold {  color: #333333; font-family: Arial, Helvetica, sans-serif; font-size: 9pt; line-height: 11pt; font-weight: bold}
.small-bodytext {  color: #333333; font-family: Arial, Helvetica, sans-serif; font-size: 9pt; line-height: 11pt; font-weight: normal}
.nav {  color: #CD1C1C; font-family: Arial, Helvetica, sans-serif; font-size: 9pt; line-height: 12pt; font-weight: bold}
.nav-dot {  color: #6F6B66; font-family: Arial, Helvetica, sans-serif; font-size: 9pt; line-height: 12pt; font-weight: bold}