Bootstrap/less/pagination.less

//
// Pagination (multiple pages)
// --------------------------------------------------

// Space out pagination from surrounding content
.pagination {
  margin: @line-height-base 0;
}

.pagination ul {
  // Allow for text-based alignment
  display: inline-block;
  // Reset default ul styles
  margin-left: 0;
  margin-bottom: 0;
  // Visuals
  border-radius: @border-radius-base;
  .box-shadow(0 1px 2px rgba(0,0,0,.05));
}
.pagination ul > li {
  display: inline; // Remove list-style and block-level defaults
}
.pagination ul > li > a,
.pagination ul > 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 ul > li > a:hover,
.pagination ul > .active > a,
.pagination ul > .active > span {
  background-color: @pagination-background-active;
}
.pagination ul > .active > a,
.pagination ul > .active > span {
  color: @grayLight;
  cursor: default;
}
.pagination ul > .disabled > span,
.pagination ul > .disabled > a,
.pagination ul > .disabled > a:hover {
  color: @grayLight;
  background-color: transparent;
  cursor: default;
}
.pagination ul > li:first-child > a,
.pagination ul > li:first-child > span {
  border-left-width: 1px;
  .border-left-radius(@border-radius-base);
}
.pagination ul > li:last-child > a,
.pagination ul > li:last-child > span {
  .border-right-radius(@border-radius-base);
}


// Alignment
// --------------------------------------------------

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


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

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

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

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