tighten padding on labels and badges given default line-height

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;

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

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;