div.pagination {
    display: inline-block;
}

a.pagination
{
  float: left;
/*  padding: 4px 10px; */
  padding: 2px 8px;
  text-decoration: none;
  border-radius: 5px;
}

a.pagination_active
{
  float: left;
/*  padding: 4px 10px; */
  padding: 2px 8px;
  text-decoration: none;
  border-radius: 5px;
  background-color: blue;
  color: white;
}

a.pagination:active
{
  background-color: blue;
  color: white;
}
a.pagination:link
{
  color: black;
}
a.pagination:visited 
{
  color: black;
}
a.pagination:hover:not(.active)
{
  background-color: #ddd;
}