+
+ <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">
+ <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>
+ </div>