Bootstrap/less/pagination.less

//
// Pagination (multiple pages)
// --------------------------------------------------
.pagination {
  display: inline-block;
  margin: @line-height-base 0;
  border-radius: @border-radius-base;
}
.pagination > li {
  display: inline; // Remove list-style and block-level defaults
}
.pagination > li > a,
.pagination > li > span {
  float: left; // Collapse white-space
  padding: 4px 12px;
  line-height: @line-height-base;
  text-decoration: none;
  background-color: @pagination-background;
  border: 1px solid @pagination-border;
  border-left-width: 0;
}
.pagination > li > a:hover,
.pagination > li > a:focus,
.pagination > .active > a,
.pagination > .active > span {
  background-color: @pagination-background-active;
}
.pagination > .active > a,
.pagination > .active > span {
  color: @grayLight;
  cursor: default;
}
.pagination > .disabled > span,
.pagination > .disabled > a,
.pagination > .disabled > a:hover,
.pagination > .disabled > a:focus {
  color: @grayLight;
  background-color: transparent;
  cursor: default;
}
.pagination > li:first-child > a,
.pagination > li:first-child > span {
  border-left-width: 1px;
  .border-left-radius(@border-radius-base);
}
.pagination > li:last-child > a,
.pagination > li:last-child > span {
  .border-right-radius(@border-radius-base);
}


// Sizing
// --------------------------------------------------

// Large
.pagination-large {
  > li > a,
  > li > span {
    padding: @padding-large;
    font-size: @font-size-large;
  }
  > li:first-child > a,
  > li:first-child > span {
    .border-left-radius(@border-radius-large);
  }
  > li:last-child > a,
  > li:last-child > span {
    .border-right-radius(@border-radius-large);
  }
}

// Small and mini
.pagination-mini,
.pagination-small {
  > li:first-child > a,
  > li:first-child > span {
    .border-left-radius(@border-radius-small);
  }
  > li:last-child > a,
  > li:last-child > span {
    .border-right-radius(@border-radius-small);
  }
}

// Small
.pagination-small {
  > li > a,
  > li > span {
    padding: @padding-small;
    font-size: @font-size-small;
  }
}
// Mini
.pagination-mini {
  > li > a,
  > li > span {
    padding: @padding-mini;
    font-size: @font-size-mini;
  }
}