a.prlinks:link
{
    font-size: 9px;
    font-weight: bold;
    color: #0000cd;
}
a.prlinks:visited
{
    font-size: 9px;
    font-weight: bold;
    color: #0000cd;
}
a.prlinks:hover
{
    font-size: 9px;
    font-weight: bold;
    color: #800000;
}