3 @mixin pagination-size($padding-vertical, $padding-horizontal, $font-size, $line-height, $border-radius) {
7 padding: $padding-vertical $padding-horizontal;
9 line-height: $line-height;
14 @include border-left-radius($border-radius);
20 @include border-right-radius($border-radius);