.times10 {  font-family: "Times New Roman", Times, serif; font-size: 12px; vertical-align: top}