.blue { color: #003366 }
.body { font-size: 12px; font-family: "Times New Roman", Times, Helvetica }
.brown { color: #333300 }
.fancyhead { font-size: 12px; font-family: "Times New Roman", Times, Helvetica }
.fancyhead2 { font-size: 14px; font-family: "Times New Roman", Times, Helvetica }
.largefancyhead { font-size: 18px; font-family: "Times New Roman", Times, Helvetica }
.mediumhead { font-weight: bold; font-size: 14px; font-family: "Times New Roman", Times, Helvetica }
.red { color: #990000 }