fixes #4512: improved borders on navbars

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index c935c084cff853074da7d2677084fa7bc21f2e8d..be852d8d75e4146e48cbee4bb3f8c329bfc7e059 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -4258,9 +4258,12 @@ input[type="submit"].btn.btn-mini {
 }
 
 .navbar-fixed-top .navbar-inner,
-.navbar-fixed-bottom .navbar-inner,
 .navbar-static-top .navbar-inner {
-  border: 0;
+  border-width: 0 0 1px;
+}
+
+.navbar-fixed-bottom .navbar-inner {
+  border-width: 1px 0 0;
 }
 
 .navbar-fixed-top .navbar-inner,

diff --git a/less/navbar.less b/less/navbar.less
index 65137ea9e14e7a797a2e279c29968a752fd87960..41364dcc4e7bd04b700740802ff1c05c4780d275 100644 (file)
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -168,12 +168,12 @@
   z-index: @zindexFixedNavbar;
   margin-bottom: 0; // remove 18px margin for default navbar
 }
-.navbar-fixed-top,
-.navbar-fixed-bottom,
-.navbar-static-top {
-  .navbar-inner {
-    border: 0;
-  }
+.navbar-fixed-top .navbar-inner,
+.navbar-static-top .navbar-inner {
+  border-width: 0 0 1px;
+}
+.navbar-fixed-bottom .navbar-inner {
+  border-width: 1px 0 0;
 }
 .navbar-fixed-top .navbar-inner,
 .navbar-fixed-bottom .navbar-inner {