From 26ad23e1fe6fedba8e6b69fba6d19a724bc9b615 Mon Sep 17 00:00:00 2001
From: Radhika Chippada <radhika@curoverse.com>
Date: Tue, 10 Mar 2015 18:08:16 -0400
Subject: [PATCH] 4426: add google search in doc topnav

---
 doc/_includes/_navbar_top.liquid | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/doc/_includes/_navbar_top.liquid b/doc/_includes/_navbar_top.liquid
index c6c8b28bff..b05fdc0e26 100644
--- a/doc/_includes/_navbar_top.liquid
+++ b/doc/_includes/_navbar_top.liquid
@@ -19,6 +19,16 @@
         <li {% if page.navsection == 'installguide' %} class="active" {% endif %}><a href="{{ site.baseurl }}/install/index.html">Install Guide</a></li>
         <li><a href="https://arvados.org/projects/arvados/" style="padding-left: 2em">Developer Site&nbsp;&raquo;</a></li>
       </ul>
+
+      <div class="pull-right" style="padding-top: 6px">
+        <form method="get" action="http://www.google.com/search">
+          <div class="input-group" style="width: 220px">
+            <input type="text" class="form-control" placeholder="search">
+            <a class="input-group-addon"><span class="glyphicon glyphicon-search"></span></a>
+            <input type="hidden" name="sitesearch" value="doc.arvados.org"/>
+          </div>
+        </form>
+      </div>
     </div>
   </div>
 </div>
-- 
2.30.2