app/assets/stylesheets/ui/pagination.css.scss
// also stolen from bootstrap:
// https://raw.github.com/twitter/bootstrap/master/less/pagination.less

$pagination-background: #fff;
$pagination-border: #ddd;

.pagination {
  height: $gg-baseline-height * 2;
  margin: $gg-baseline-height 0;

  float: right;

  ul {
    display: inline-block;
    // .ie7-inline-block();
    margin-left: 0;
    margin-bottom: 0;
    @include border-radius(3px);
    @include box-shadow(0 1px 2px rgba(0,0,0,.05));

    > li {
      display: inline;

      > a,
      > span {
        float: left;
        padding: 0 14px;
        line-height: ($gg-baseline-height * 2) - 2;
        text-decoration: none;
        background-color: $pagination-background;
        border-style: solid;
        border-color: $pagination-border;
        border-top-width: 1px;
        border-right-width: 1px;
        border-bottom-width: 1px;
        border-left-width: 0px;
      }

      > a.solo {
        border-left-width: 1px;
      }
    }

    > li > a:hover,
    > .active > a,
    
    > .active > span {
      background-color: #f5f5f5;
    }

    > .active > a,
    > .active > span {
      color: $gray-light;
      cursor: default;
    }

    .disabled > span,
    .disabled > a,
    .disabled > a:hover {
      color: $gray-light;
      background-color: transparent;
      cursor: default;
    }

    > li:first-child > a,
    > li:first-child > span {
      border-left-width: 1px;
      @include border-radius(3px 0 0 3px);
    }

    > li:last-child > a,
    > li:last-child > span {
      @include border-radius(0 3px 3px 0);
    }
  }
}

// Centered
.pagination-centered {
  text-align: center;
}

.pagination-right {
  text-align: right;
}