tighten padding on labels and badges given default line-height

diff --git a/docs/assets/bootstrap.zip b/docs/assets/bootstrap.zip
index 26375f6cf7f489c9ed484ef6fa914748eebef71d..bbb57eadbb4d2814024b1353a268d31c4f8b7f4f 100644 (file)
Binary files a/docs/assets/bootstrap.zip and b/docs/assets/bootstrap.zip differ

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 7a91fa5bd5e4280831278281e3aa1a28f646e415..3573a9377b3c39a49efccb847744a92d36a4fad8 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3425,8 +3425,8 @@ a.thumbnail:hover {
   padding: 9px;
 }
 .label {
-  padding: 2px 4px 3px;
-  font-size: 11.049999999999999px;
+  padding: 1px 4px 2px;
+  font-size: 10.998px;
   font-weight: bold;
   white-space: nowrap;
   color: #ffffff;
@@ -3471,15 +3471,15 @@ a.thumbnail:hover {
   background-color: #1a1a1a;
 }
 .badge {
-  padding: 2px 10px 3px;
+  padding: 1px 9px 2px;
   font-size: 12.025px;
   font-weight: bold;
   white-space: nowrap;
   color: #ffffff;
   background-color: #999999;
-  -webkit-border-radius: 10px;
-  -moz-border-radius: 10px;
-  border-radius: 10px;
+  -webkit-border-radius: 9px;
+  -moz-border-radius: 9px;
+  border-radius: 9px;
 }
 .badge:hover {
   color: #ffffff;

diff --git a/less/badges.less b/less/badges.less
index 97dadcefa84b48c4a1e95bf25149d62126ff0a42..273479b0f77d7756856bb34a660bbfc5b9dceb85 100644 (file)
--- a/less/badges.less
+++ b/less/badges.less
@@ -3,13 +3,13 @@
 
 // Base
 .badge {
-  padding: 2px 10px 3px;
+  padding: 1px 9px 2px;
   font-size: @baseFontSize * .925;
   font-weight: bold;
   white-space: nowrap;
   color: @white;
   background-color: @grayLight;
-  .border-radius(10px);
+  .border-radius(9px);
 }
 
 // Hover state

diff --git a/less/labels.less b/less/labels.less
index 8d9913470411fc330c3f23297a12ab764fbd272b..fa2ec4904d7cf7b90fd29e5cb3b6c3483cbcc8a4 100644 (file)
--- a/less/labels.less
+++ b/less/labels.less
@@ -3,8 +3,8 @@
 
 // Base
 .label {
-  padding: 2px 4px 3px;
-  font-size: @baseFontSize * .85;
+  padding: 1px 4px 2px;
+  font-size: @baseFontSize * .846;
   font-weight: bold;
   white-space: nowrap;
   color: @white;