p {  font-family: "Times New Roman", Times, Trinity, serif; font-size: 11pt}

@media print {
  /* style sheet for print goes here */
p {  font-family: "Times New Roman", Times, Trinity, serif; font-size: 10pt}
}