gitweb: Make search type a popup menu

This makes the multiple search types actually usable by the user;
if you don't read the gitweb source, you don't even have an idea
that you can write things like that there.

Signed-off-by: Petr Baudis <pasky@suse.cz>
Signed-off-by: Junio C Hamano <junkio@cox.net>
This commit is contained in:
Petr Baudis
2006-10-24 05:15:46 +02:00
committed by Junio C Hamano
parent 4777b0141a
commit 88ad729b73
2 changed files with 47 additions and 16 deletions

View File

@@ -333,6 +333,8 @@ div.index_include {
}
div.search {
font-size: 12px;
font-weight: normal;
margin: 4px 8px;
position: absolute;
top: 56px;