4426: convert the search icon to a button
[arvados.git] / doc / _includes / _navbar_top.liquid
index 73b7abb9a355f6647c78fb98f9ca38074ab1b056..eff937fa88027c4786583026087f5e2e9fb81c90 100644 (file)
@@ -7,7 +7,7 @@
         <span class="icon-bar"></span>
         <span class="icon-bar"></span>
       </button>
-      <a class="navbar-brand" href="{{ site.baseurl }}/">Arvados Docs</a>
+      <a class="navbar-brand" href="{{ site.baseurl }}/">Arvados</a>
     </div>
     <div class="collapse navbar-collapse" id="bs-navbar-collapse">
       <ul class="nav navbar-nav">
         <li {% if page.navsection == 'api' %} class="active" {% endif %}><a href="{{ site.baseurl }}/api/index.html">API&nbsp;Reference</a></li>
         <li {% if page.navsection == 'adminguide' %} class="active" {% endif %}><a href="{{ site.baseurl }}/admin/index.html">Admin Guide</a></li>
         <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/" style="padding-left: 2em">arvados.org&nbsp;&raquo;</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" 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>
+            <input type="hidden" name="sitesearch" value="doc.arvados.org"/>
+          </div>
+        </form>
+      </div>
     </div>
   </div>
 </div>