#bodyText { font-family: "Times New Roman", Times, serif; font-size: 12pt }
.bodyTextBig { font-size: 14pt }
.bodyTextBold { font-weight: bold }
.bodyTextLink {  }

#userInput { font-family: "Times New Roman", Times, serif; font-size: 12pt }