div.pagination {
padding: 1px;
margin: 1px;
}
div.pagination a {
padding: 1px 2px 1px 2px;
margin: 1px;
border: 1px solid #AAAAAA;
background:#eeeeee;
font-size:8pt;
font-family:verdana;
font-weight:normal;
text-decoration:none;
color: #000000;
}
div.pagination a:hover, div.pagination a:active {
border: 1px solid darkred;
background:pink;
font-size:8pt;
font-family:verdana;
font-weight:normal;
text-decoration:none;
color: #000000;
}
div.pagination a:visited, div.pagination a:active {
border: 1px solid darkred;
font-size:8pt;
font-family:verdana;
font-weight:normal;
text-decoration:none;
color: darkred;
}