div.pagination {
  width: 780px;
  display: inline;
  float: left;
  position: relative;
  margin-left: 10px;
  margin-right: 10px;
  padding-left: 80px;
  margin-left: 0;
  font-family: helvetica, arial, sans-serif;
  letter-spacing: -0.03em;
  color: #616265;
  font-size: 125%;
  line-height: 2;
  margin-top: 50px;
  margin-bottom: 20px; }
  div.pagination a, div.pagination span.current, div.pagination span.disabled {
    padding: 6px 7px 3px 7px;
    border-style: solid;
    border-width: 1px;
    border-color: #9d313d; }
  div.pagination a:hover {
    border-color: #c93f4e; }
  div.pagination span.current {
    color: #616265;
    font-weight: bold;
    border-color: #616265; }
  div.pagination span.separator {
    visibility: hidden; }
  div.pagination span.disabled {
    display: none;
    color: #c5c5c0;
    border-color: #c5c5c0;
    text-shadow: #a2a3a1 0 0 2px; }
  div.pagination span.summary {
    padding: 6px;
    font-size: 75%;
    color: #7f8082;
    margin-left: 10px; }