Fixes #8154: enforce full width `.navbar-nav.pull-right` in mobile

Prevents an odd alignment issue in mobile views by forcing the nav
links to be full width without undoing the float.

docs/assets/css/bootstrap.css

@@ -3481,6 +3481,10 @@ button.close {
   background-color: transparent;
 }
 
+.navbar-nav.pull-right {
+  width: 100%;
+}
+
 .navbar-static-top {
   border-radius: 0;
 }
@@ -3709,6 +3713,7 @@ button.close {
   }
   .navbar-nav.pull-right {
     float: right;
+    width: auto;
   }
   .navbar-toggle {
     position: relative;

less/navbar.less

@@ -48,6 +48,12 @@
     color: @navbar-link-disabled-color;
     background-color: @navbar-link-disabled-bg;
   }
+
+  // Right aligned contents
+  // Make them full width first so that they align properly on mobile
+  &.pull-right {
+    width: 100%;
+  }
 }
 
 
@@ -296,6 +302,7 @@
 
     &.pull-right {
       float: right;
+      width: auto;
     }
   }