A:link     { color: navy; font-family: Verdana }
A:visited   { color: #191970 }
A:active   { color: red; font-family: Verdana }
A:hover    { color: red }
TD   { font-size: 13px; font-family: Verdana }
p  { font-family: Verdana }
.defhead   { font-weight: bold; font-size: 20px; font-family: Verdana }
.defdescription  { font-style: normal; font-weight: normal; font-size: 13px; font-family: Verdana; background-color: yellow }
.seealso { font-style: italic; font-weight: normal; font-size: 13px; font-family: Verdana }
.links   { color: #00f; font-style: normal; font-weight: normal; font-size: 13px; font-family: Verdana }
.bottomlinks  { font-size: 11px; font-family: Verdana }
.letterlist { font-style: normal; font-weight: normal; font-family: Verdana }
.previousnext  { font-size: 10px; font-family: Verdana }
.letters   { color: #637bad; font-style: normal; font-weight: normal; font-size: 12px; font-family: Arial, Helvetica; text-decoration: underline }
.descriptionbackground   { background-color: yellow }
.deftitle  { color: #fff; font-weight: bold; font-size: 13px; font-family: Arial }