a.redlink:link, a.redlink:active, a.redlink:visited { color: red; }
a.redlink:hover { color: orange; }
a.greylink:link, a.greylink:active, a.greylink:visited { color: #AAAAAA; }
a.greylink:hover { color: green; }

.filter {
    border-collapse: collapse;
    border-style: solid;
    border-color: #AAAAAA;
    border-width: 1px;
}