.tex12 {  font-size: 12px}