4426: Adjust styling for search button on search box

diff --git a/doc/_includes/_navbar_top.liquid b/doc/_includes/_navbar_top.liquid
index eff937fa88027c4786583026087f5e2e9fb81c90..0d8aaea83cc49df2306a527ba4b86632a61a7515 100644 (file)
--- a/doc/_includes/_navbar_top.liquid
+++ b/doc/_includes/_navbar_top.liquid
@@ -24,9 +24,9 @@
         <form method="get" action="http://www.google.com/search">
           <div class="input-group" style="width: 220px">
             <input type="text" class="form-control" name="q" placeholder="search">
-            <span class="input-group-btn">
-              <button class="btn btn-default glyphicon glyphicon-search" type="submit" style="font-size:20px"></button>
-            </span>
+            <div class="input-group-addon">
+              <button class="glyphicon glyphicon-search" style="border: 0px" type="submit"></button>
+            </div>
             <input type="hidden" name="sitesearch" value="doc.arvados.org"/>
           </div>
         </form>