a[href] {
  border-width: 0px;
  border-left-width: 1px;
  border-right-width: 1px;
  border-left-style: solid;
  border-right-style: solid;
  border-color: transparent;
  text-decoration: none;
}
a:link[href] { color: #a80000; }
a:visited[href] { color: #aa4444}
a:active[href] { color: #ff6666; text-decoration: underline;}
a:hover[href] {
  border-color: #a80000;
}

/* Local Variables: */
/* mode: css */
/* End: */