body { font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
a:link { color: red; text-decoration: none }
a:hover  { color: navy; text-decoration: none }