body {  margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 00px}
.font9pt {  font-size: 9pt; line-height: 1.7em; text-decoration: none}
.font12pt {  font-size: 12pt}
.font8pt {  font-size: 8pt; text-decoration: none}
.font-menu {  font-size: 9pt; text-decoration: none; line-height: 1.5em}
.font-line {  text-decoration: line-through}
.dot-line {  border: #006666; border-style: dotted}