turn off brand hover for now + get nav toggling in mobile

docs/assets/css/bootstrap-responsive.css

@@ -86,9 +86,6 @@
     width: auto;
     margin: 0;
   }
-  .btn-navbar {
-    display: block;
-  }
 }
 @media (min-width: 768px) and (max-width: 940px) {
   .container {
@@ -258,6 +255,13 @@
     padding-left: 10px;
     padding-right: 10px;
   }
+  .btn-navbar {
+    display: block;
+  }
+  .nav-collapse {
+    overflow: hidden;
+    height: 0;
+  }
 }
 /*
 @media (min-width: 1210px) {

docs/assets/css/bootstrap.css

@@ -2356,7 +2356,6 @@ button.btn.small, input[type="submit"].btn.small {
   margin-top: 3px;
 }
 .navbar .brand:hover {
-  color: #ffffff;
   text-decoration: none;
 }
 .navbar .brand {