diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index d00b27b8e41a1c5c10db8d595c225a7da8513b0c..e192672a01629edfe63c9be93cfc4d55bdd2752d 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3679,18 +3679,18 @@ button.close {
     margin-right: 5px;
     margin-left: -5px;
   }
-  .navbar .nav {
+  .navbar-nav {
     float: left;
     margin-top: 0;
     margin-bottom: 0;
   }
-  .navbar .nav > li {
+  .navbar-nav > li {
     float: left;
   }
-  .navbar .nav > li > a {
+  .navbar-nav > li > a {
     border-radius: 0;
   }
-  .navbar .nav.pull-right {
+  .navbar-nav.pull-right {
     float: right;
   }
   .navbar-toggle {