fix #2829: redeclare .pull-right for navs since they get more specific floats

less/navs.less

@@ -21,6 +21,11 @@
   background-color: @grayLighter;
 }
 
+// Redeclare pull classes because of specifity
+.nav > .pull-right {
+  float: right;
+}
+
 // Nav headers (for dropdowns and lists)
 .nav .nav-header {
   display: block;