diff -r 000000000000 -r 1afc9d2ab94d authserver/testCAS/resources/assets/less/bootstrap/mixins/pagination.less
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/authserver/testCAS/resources/assets/less/bootstrap/mixins/pagination.less	Wed Apr 01 15:31:12 2015 +0200
@@ -0,0 +1,23 @@
+// Pagination
+
+.pagination-size(@padding-vertical; @padding-horizontal; @font-size; @border-radius) {
+  > li {
+    > a,
+    > span {
+      padding: @padding-vertical @padding-horizontal;
+      font-size: @font-size;
+    }
+    &:first-child {
+      > a,
+      > span {
+        .border-left-radius(@border-radius);
+      }
+    }
+    &:last-child {
+      > a,
+      > span {
+        .border-right-radius(@border-radius);
+      }
+    }
+  }
+}