.txt10 { 
        font-size: 10pt
}
.txt10-line13 {
        font-size: 10pt; line-height: 13pt
}
.txt9 { 
        font-size: 9pt
}
.txt10-line15 { font-size: 10pt; line-height: 15pt}
.txt12-line15 { font-size: 12pt; line-height: 15pt}
.txt12 { font-size: 12pt}
.txt10b { font-size: 10pt ; font-weight: bold}