fixes #4253: hover on responsive navbar

diff --git a/docs/assets/css/bootstrap-responsive.css b/docs/assets/css/bootstrap-responsive.css
index d62a5f68dd9a9019b990a8f4fa83f6b3cc0315c4..a28c97e0509b576ee11068b3aca530fdecb12c2c 100644 (file)
--- a/docs/assets/css/bootstrap-responsive.css
+++ b/docs/assets/css/bootstrap-responsive.css
@@ -961,6 +961,10 @@
   .nav-collapse .dropdown-menu a:hover {
     background-color: #f2f2f2;
   }
+  .navbar-inverse .nav-collapse .nav > li > a:hover,
+  .navbar-inverse .nav-collapse .dropdown-menu a:hover {
+    background-color: #111111;
+  }
   .nav-collapse.in .btn-group {
     padding: 0;
     margin-top: 5px;

diff --git a/less/responsive-navbar.less b/less/responsive-navbar.less
index d684fcafa17c116ff5268e4172e319c74bbcde12..e54213ef3f7a26cfc3d582183396bba24eef08f2 100644 (file)
--- a/less/responsive-navbar.less
+++ b/less/responsive-navbar.less
@@ -85,6 +85,10 @@
   .nav-collapse .dropdown-menu a:hover {
     background-color: @navbarBackground;
   }
+  .navbar-inverse .nav-collapse .nav > li > a:hover,
+  .navbar-inverse .nav-collapse .dropdown-menu a:hover {
+    background-color: @navbarInverseBackground;
+  }
   // Buttons in the navbar
   .nav-collapse.in .btn-group {
     margin-top: 5px;