a[href] { text-decoration: none }
a[href].ext:link { color: #0000FF }
a[href].ext:visited { color: #0000AA }
a[href].int:link { color: #00AA00 }
a[href].int:visited { color: #005500 }
a[href].zip:link { color: #FFAA00 }
a[href].zip:visited { color: #AA5500 }
a[href].off:link { color: #FFFFFF }
a[href].off:visited { color: #AAAAAA }
a[href]:link:active { color: #FF0000 }
a[href]:visited:active { color: #FF0000 }
a[href]:hover { text-decoration: underline }

