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