.pt10 {  font-size: 10pt; line-height: 1.3}
.title {  font-size: 16pt; font-weight: bold}
.pt12 { font-size: 12pt; line-height: 1.3 }
code{font-size:12px;}