// Pagination

@mixin pagination-size($padding-vertical, $padding-horizontal, $font-size, $line-height, $border-radius) {
  > .#{$class-prefix}-html-li {
    > .#{$class-prefix}-html-a,
    > .#{$class-prefix}-html-span {
      padding: $padding-vertical $padding-horizontal;
      font-size: $font-size;
      line-height: $line-height;
    }
    &:first-child {
      > .#{$class-prefix}-html-a,
      > .#{$class-prefix}-html-span {
        @include border-left-radius($border-radius);
      }
    }
    &:last-child {
      > .#{$class-prefix}-html-a,
      > .#{$class-prefix}-html-span {
        @include border-right-radius($border-radius);
      }
    }
  }
}