//
// Pager pagination
// --------------------------------------------------


.pager {
  margin: @baseLineHeight 0;
  list-style: none;
  text-align: center;
  .clearfix();
}
.pager li {
  display: inline;
}
.pager li > a,
.pager li > span {
  display: inline-block;
  padding: 4px 14px 6px;
  background-color: @paginationBackground;
  border: 2px solid @paginationBorder;
  color: darken(@grayLight,10%);
  .box-shadow(inset 0 1px 0 rgba(255,255,255,.5));
}
.pager li > a:hover,
.pager li > a:focus {
  text-decoration: none;
  background-color: @paginationActiveBackground;
  color: @grayDarker;
}
.pager .next > a,
.pager .next > span {
  float: right;
}
.pager .previous > a,
.pager .previous > span {
  float: left;
}
.pager .disabled > a,
.pager .disabled > a:hover,
.pager .disabled > a:focus,
.pager .disabled > span {
  color: @grayLight;
  background-color: #fff;
  cursor: default;
  border-color: @grayLighter;
}