// 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);
        }
      }
    }
  }