<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="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>