.dummy1 {  font-size: 14px}
.dummy2 {  font-size: 12px; vertical-align: baseline}
.menu1 {  font-size: 14px; border-color: #0000FF #FF0000 #FFFF00 #00FFFF}
.title1 {  font-size: 14px; font-weight: bold}
.title0 {  font-size: 16px; padding-top: 5px; padding-right: 5px; padding-bottom: 5px; padding-left: 5px}
.content0 {  font-size: 10pt; padding-top: 8px; padding-right: 8px; padding-bottom: 8px; padding-left: 8px; line-height: 18pt}
.content1 { font-size: 10pt; padding-top: 8px; padding-right: 8px; padding-bottom: 8px; padding-left: 8px; line-height: 18pt ; font-weight: normal}