// Pagination

.pagination-size(@padding-vertical; @padding-horizontal; @font-size; @line-height; @border-radius) {

> li {
  > a,
  > span {
    padding: @padding-vertical @padding-horizontal;
    font-size: @font-size;
    line-height: @line-height;
  }
  &:first-child {
    > a,
    > span {
      .border-left-radius(@border-radius);
    }
  }
  &:last-child {
    > a,
    > span {
      .border-right-radius(@border-radius);
    }
  }
}

}