.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 { font-size: 12pt}
.txt9-line13 { font-size: 9pt ; line-height: 10pt}