make pull-right !important

less/navbar.less

@@ -317,7 +317,6 @@
     }
 
     &.pull-right {
-      float: right;
       width: auto;
     }
   }

less/navs.less

@@ -56,12 +56,6 @@
     }
   }
 
-  // Redeclare pull classes because of specificity
-  // Todo: consider making these utilities !important to avoid this bullshit
-  > .pull-right {
-    float: right;
-  }
-
   // Dividers (basically an hr) within the dropdown
   .nav-divider {
     .nav-divider();

less/type.less

@@ -195,7 +195,6 @@ blockquote {
 
   // Float right with text-align: right
   &.pull-right {
-    float: right;
     padding-right: 15px;
     padding-left: 0;
     border-right: 5px solid @blockquote-border-color;

less/utilities.less

@@ -10,10 +10,10 @@
   .clearfix();
 }
 .pull-right {
-  float: right;
+  float: right !important;
 }
 .pull-left {
-  float: left;
+  float: left !important;
 }