body    { font-size: 11pt; font-family: "Times New Roman", Georgia, Times; letter-spacing: 0.25pt }
p  { font-family: "Times New Roman", Georgia, Times }
td  { font-family: "Times New Roman", Georgia, Times }
a:hover  { color: red; font-family: "Times New Roman", Georgia, Times }
h1   { color: #800000; font-size: large; font-family: "Times New Roman", Georgia, Times }
a:hover1 { color: red }
h3 { font-size: medium }