font         { font-family: Times New Roman; font-size: 12pt }