From 930f588fffcc27049558d1e6c7bcc9f3644a70a1 Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@zulip.com>
Date: Sun, 20 Nov 2022 18:09:10 -0800
Subject: [PATCH] css: Remove bootstrap navbar-search CSS.

I confirmed all of these rules were already overridden by our own CSS
on the only element with this CSS class.
---
 static/third/bootstrap/css/bootstrap.css | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/static/third/bootstrap/css/bootstrap.css b/static/third/bootstrap/css/bootstrap.css
index 6a186df6ef..35085605a5 100644
--- a/static/third/bootstrap/css/bootstrap.css
+++ b/static/third/bootstrap/css/bootstrap.css
@@ -1094,23 +1094,6 @@ input.search-query {
 .navbar .input-append .btn-group {
   margin-top: 0;
 }
-.navbar-search {
-  position: relative;
-  float: left;
-  margin-top: 5px;
-  margin-bottom: 0;
-}
-.navbar-search .search-query {
-  margin-bottom: 0;
-  padding: 4px 14px;
-  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
-  font-size: 13px;
-  font-weight: normal;
-  line-height: 1;
-  -webkit-border-radius: 15px;
-  -moz-border-radius: 15px;
-  border-radius: 15px;
-}
 .navbar .nav {
   position: relative;
   left: 0;