Bootstrap/less/pagination.less

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


.pagination ul {
  display: inline-block;
  .ie7-inline-block();
  margin-left: 0;
  margin-bottom: 0;
  .border-radius(3px);
  .box-shadow(0 1px 2px rgba(0,0,0,.05));
}
.pagination ul > li {
  display: inline;
}
.pagination ul > li > a,
.pagination ul > li > span {
  float: left;
  text-decoration: none;
  background-color: @paginationBackground;
  border: 1px solid @paginationBorder;
  border-left-width: 0;
}
.pagination ul > li > a:hover,
.pagination ul > .active > a,
.pagination ul > .active > span {
  background-color: #f5f5f5;
}
.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-radius(3px 0 0 3px);
}
.pagination ul > li:last-child > a,
.pagination ul > li:last-child > span {
  .border-radius(0 3px 3px 0);
}

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

// Pagination Sizes
// --------------------------------------------------

// Default
.pagination {
  margin: (@baseLineHeight - 3) 0;
  height: @baseLineHeight + 10;
  font-size: @baseFontSize;
  ul > li > a,
  ul > li > span {
    padding: 0 12px;
    line-height: @baseLineHeight + 8;
  }
}
// Large
.pagination-large {
  margin: @baseLineHeight 0;
  height: @baseLineHeight + 18;
  font-size: @baseFontSize + 2px;
  ul > li > a,
  ul > li > span {
    padding: 0 15px;
    line-height: (@baseLineHeight * 2) - 4;
  }
}
// Small
.pagination-small {
  margin: (@baseLineHeight - 5) 0;
  height: @baseLineHeight + 6;
  font-size: @baseFontSize - 2px;
  ul > li > a,
  ul > li > span {
    padding: 0 10px;
    line-height: @baseLineHeight + 2;
  }
}
// Mini
.pagination-mini {
  margin: (@baseLineHeight - 10) 0;
  height: @baseLineHeight + 3;
  font-size: @baseFontSize - 3px;
  ul > li > a,
  ul > li > span {
    padding: 0 8px;
    line-height: @baseLineHeight + 1;
  }
}