I think it should be 
```
.pagination-size(@padding-vertical; @padding-horizontal; @font-size; @border-radius) {
````