div.pagination {
    padding: 3px;
    margin: 3px;
    font-size:15px;
}

div.pagination a {
    padding: 5px 5px 5px 5px;
    margin: 2px;
    border: 1px solid #252F14;
    background-color:white;
    text-decoration: none; /* no underline */
    color:white;
    background-color:#678538;
}
div.pagination a:hover, div.pagination a:active {
    border: 1px solid #252F14;
    color:white;
    background-color:#AFC488;
}
div.pagination span.current {
    padding: 5px 5px 5px 5px;
    margin: 2px;
    border: 1px solid #012C3C;

    font-weight: bold;
    background-color:#AFC488;
    color: #FFF;
}
div.pagination span.disabled {
    padding: 5px 5px 5px 5px;
    margin: 2px;
    border: 1px solid gray;

    color: gray;
}



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