a            { text-decoration: none; color: #0000A0 }
a:hover      { color: #840000; font-size: 10pt; font-weight: bold }