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.

1 files changed, 5 insertions, 0 deletions

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 9379177da..685e2e984 100644
--- a/docs/assets/css/bootstrap.css
+++ b/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;