add new vars for common border-radius, upping border-radius of inputs to 4px; add border-radius changes to -large, -small, -mini for buttons and paginations

1 files changed, 35 insertions, 10 deletions

diff --git a/less/pagination.less b/less/pagination.less
index 2c823e1498..88065aa220 100644
--- a/less/pagination.less
+++ b/less/pagination.less
@@ -15,7 +15,7 @@
   margin-left: 0;
   margin-bottom: 0;
   // Visuals
-  .border-radius(4px);
+  .border-radius(@baseBorderRadius);
   .box-shadow(0 1px 2px rgba(0,0,0,.05));
 }
 .pagination ul > li {
@@ -24,8 +24,8 @@
 .pagination ul > li > a,
 .pagination ul > li > span {
   float: left; // Collapse white-space
-  padding: 10px 14px;
-  line-height: 1;
+  padding: 4px 12px;
+  line-height: @baseLineHeight;
   text-decoration: none;
   background-color: @paginationBackground;
   border: 1px solid @paginationBorder;
@@ -51,14 +51,17 @@
 .pagination ul > li:first-child > a,
 .pagination ul > li:first-child > span {
   border-left-width: 1px;
-  .border-radius(3px 0 0 3px);
+  .border-left-radius(@baseBorderRadius);
 }
 .pagination ul > li:last-child > a,
 .pagination ul > li:last-child > span {
-  .border-radius(0 3px 3px 0);
+  .border-right-radius(@baseBorderRadius);
 }
 
-// Centered
+
+// Alignment
+// --------------------------------------------------
+
 .pagination-centered {
   text-align: center;
 }
@@ -67,30 +70,52 @@
 }
 
 
-// Pagination Sizes
+// Sizing
 // --------------------------------------------------
 
 // Large
 .pagination-large {
-  font-size: @fontSizeLarge;
   ul > li > a,
   ul > li > span {
     padding: @paddingLarge;
+    font-size: @fontSizeLarge;
+  }
+  ul > li:first-child > a,
+  ul > li:first-child > span {
+    .border-left-radius(@borderRadiusLarge);
+  }
+  ul > li:last-child > a,
+  ul > li:last-child > span {
+    .border-right-radius(@borderRadiusLarge);
   }
 }
+
+// Small and mini
+.pagination-mini,
+.pagination-small {
+  ul > li:first-child > a,
+  ul > li:first-child > span {
+    .border-left-radius(@borderRadiusSmall);
+  }
+  ul > li:last-child > a,
+  ul > li:last-child > span {
+    .border-right-radius(@borderRadiusSmall);
+  }
+}
+
 // Small
 .pagination-small {
-  font-size: @fontSizeSmall;
   ul > li > a,
   ul > li > span {
     padding: @paddingSmall;
+    font-size: @fontSizeSmall;
   }
 }
 // Mini
 .pagination-mini {
-  font-size: @fontSizeMini;
   ul > li > a,
   ul > li > span {
     padding: @paddingMini;
+    font-size: @fontSizeMini;
   }
 }