a:hover     { color: #008080; text-decoration: overline }
a    { color: #900; text-decoration: underline }