1 files changed, 10 insertions, 16 deletions
diff --git a/docs/dist/css/bootstrap.css b/docs/dist/css/bootstrap.css
index ad16cb2d1..a80897041 100644
--- a/docs/dist/css/bootstrap.css
+++ b/docs/dist/css/bootstrap.css
@@ -3976,11 +3976,6 @@ a.label:focus {
   white-space: nowrap;
   background-color: #818a91;
   border-radius: 2em;
-  /*  .btn & {
-    position: relative;
-    top: -1px;
-  }
-*/
 }
 .badge:empty {
   display: none;
@@ -3989,10 +3984,6 @@ a.label:focus {
 .badge.pull-right {
   top: .2em;
 }
-.btn-xs .badge {
-  /*top: 0;*/
-  /*padding: 1px 5px;*/
-}
 a.badge:hover,
 a.badge:focus {
   color: #fff;
@@ -4113,6 +4104,7 @@ a.list-group-item.active > .badge,
 .alert-danger .alert-link {
   color: #843534;
 }
+/*csslint empty-rules: false, important: true*/
 @-webkit-keyframes progress-bar-stripes {
   from {
     background-position: 24px 0;
@@ -4173,28 +4165,30 @@ a.list-group-item.active > .badge,
   border-top-right-radius: .25rem;
   border-bottom-right-radius: .25rem;
 }
+/* Commented out for now because linter.
 @-moz-document url-prefix() {
   .progress[value] {
     background-color: #eee;
-    border-radius: .25rem;
-    box-shadow: inset 0 .1rem .1rem rgba(0, 0, 0, .1);
+    .border-radius(@border-radius-base);
+    .box-shadow(inset 0 .1rem .1rem rgba(0,0,0,.1));
   }
   .progress[value]::-moz-progress-bar {
     background-color: #0074d9;
-    border-top-left-radius: .25rem;
-    border-bottom-left-radius: .25rem;
+    border-top-left-radius: @border-radius-base;
+    border-bottom-left-radius: @border-radius-base;
   }
   .progress[value="0"]::-moz-progress-bar {
+    color: @gray-light;
     min-width: 2rem;
-    color: #818a91;
     background-color: transparent;
     background-image: none;
   }
   .progress[value="100"]::-moz-progress-bar {
-    border-top-right-radius: .25rem;
-    border-bottom-right-radius: .25rem;
+    border-top-right-radius: @border-radius-base;
+    border-bottom-right-radius: @border-radius-base;
   }
 }
+*/
 @media screen and (min-width:0\0) {
   .progress {
     background-color: #eee;