a {text-decoration: none; color: gray; font-family: arial; font-size: 7.5pt}
a:hover {color: red}