Remove navbar search

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 6317b176015eff7b7b6e52b3055955d7567f2efd..0b1b7e266a5a675e34ee0a2523fd55e30d67e393 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3269,21 +3269,6 @@ button.close {
   }
 }
 
-// Navbar search
-// -------------------------
-.navbar-search {
-  position: relative;
-  float: left;
-  .navbarVerticalAlign(30px); // Vertically center in navbar
-  margin-bottom: 0;
-  .search-query {
-    margin-bottom: 0;
-    padding: 4px 14px;
-    #font > .sans-serif(13px, normal, 1);
-    border-radius: 15px; // redeclare because of specificity of the type attribute
-  }
-}
-
 */
 
 .caret {

diff --git a/less/navbar.less b/less/navbar.less
index ac7521663d30d8c9c5e573ad8e90542312b830a5..dd714dba5ee1630993f41a60f10be7a628b1fe2d 100644 (file)
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -328,19 +328,4 @@
   }
 }
 
-// Navbar search
-// -------------------------
-.navbar-search {
-  position: relative;
-  float: left;
-  .navbarVerticalAlign(30px); // Vertically center in navbar
-  margin-bottom: 0;
-  .search-query {
-    margin-bottom: 0;
-    padding: 4px 14px;
-    #font > .sans-serif(13px, normal, 1);
-    border-radius: 15px; // redeclare because of specificity of the type attribute
-  }
-}
-
 */