projects
/
arvados.git
/ commitdiff
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
57b9614
)
4426: convert the search icon to a button
author
Radhika Chippada <radhika@curoverse.com>
Wed, 11 Mar 2015 18:04:08 +0000
(14:04 -0400)
committer
Radhika Chippada <radhika@curoverse.com>
Wed, 11 Mar 2015 18:04:08 +0000
(14:04 -0400)
doc/_includes/_navbar_top.liquid
patch
|
blob
|
history
diff --git
a/doc/_includes/_navbar_top.liquid
b/doc/_includes/_navbar_top.liquid
index 14c300db564138bbbf9c9e68010b5b593592e846..eff937fa88027c4786583026087f5e2e9fb81c90 100644
(file)
--- a/
doc/_includes/_navbar_top.liquid
+++ b/
doc/_includes/_navbar_top.liquid
@@
-24,7
+24,9
@@
<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">
- <a class="input-group-addon"><span class="glyphicon glyphicon-search"></span></a>
+ <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>