<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 »</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>