div.pagination {
    padding: 3px;
    margin: 3px;
}

div.pagination a {
    padding: 2px 5px 2px 5px;
    margin: 2px;
    border: 1px solid #AAAAAA;
    text-decoration: none; /* no underline */
    color: #2F5E8C;
    font-weight:bold;
    font-size:11px;
    font-family:Verdana, Arial, Helvetica, sans-serif;
}

div.pagination a:hover, div.pagination a:active {
    border: 1px solid #AAAAAA;
    color: #FFFFFF;
    background-color:#3989C4;
    font-weight:bold;
    font-size:11px;
    font-family:Verdana, Arial, Helvetica, sans-serif;
}

div.pagination span.current {
    padding: 2px 5px 2px 5px;
    margin: 2px;
    border: 1px solid #AAAAAA;
    font-weight: bold;
    background-color: #3989C4;
    color: #FFF;
    font-size:11px;
    font-family:Verdana, Arial, Helvetica, sans-serif;
}
div.pagination span.disabled {
    padding: 2px 5px 2px 5px;
    margin: 2px;
    border: 1px solid #AAAAAA;
    color: #000000;
    font-weight:bold;    
    font-size:11px;
    font-family:Verdana, Arial, Helvetica, sans-serif;
}