diff options
| author | Petr Baudis <pasky@suse.cz> | 2007-05-17 06:24:19 +0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-05-18 04:37:30 +0400 |
| commit | d77b5673e90f47309d6bf87a7653896169945da0 (patch) | |
| tree | f852ff4ce709e49322797afcd95f71b3f824dda1 | |
| parent | 8299886619b8dab99773b5810f50c63a50b2d611 (diff) | |
gitweb: Normalize searchbar font size
Currently, searchbar font was as big as the page heading font, because
font-size was made relative - but to the parent element, which was for some
reason indeed page_header. Since that seems to be illogical to me, I just
moved the div.search outside of div.page_header. I'm no CSS/DOM expert but
no adverse effects were observed by me.
Signed-off-by: Petr Baudis <pasky@suse.cz>
Signed-off-by: Junio C Hamano <junkio@cox.net>
| -rwxr-xr-x | gitweb/gitweb.perl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gitweb/gitweb.perl b/gitweb/gitweb.perl index 66f306705f..260d79bd78 100755 --- a/gitweb/gitweb.perl +++ b/gitweb/gitweb.perl @@ -1903,6 +1903,8 @@ EOF } print "\n"; } + print "</div>\n"; + my ($have_search) = gitweb_check_feature('search'); if ((defined $project) && ($have_search)) { if (!defined $searchtext) { @@ -1932,7 +1934,6 @@ EOF "</div>" . $cgi->end_form() . "\n"; } - print "</div>\n"; } sub git_footer_html { |