.times12     { font-family: Times New Roman; font-size: 12pt }
times10 bold { font-family: Times New Roman; font-size: 10pt; font-weight: bold }
times 10     { font-size: 10px; font-family: Times New Roman }
times11 bold { font-family: Times New Roman; font-size: 11; font-weight: bold }
.times11     { font-family: Times New Roman; font-size: 11 }
times12 bold { font-family: Times New Roman; font-size: 12pt; font-weight: bold }