.arial {  font-family: Arial, Helvetica, sans-serif}
.yellowlink {  color: #FFFF00; text-decoration: underline}
.highlighted {  background-color: #FFFF00}