mirror/ git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-05-25 21:46:10 +02:00
Code

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>
This commit is contained in:
Petr Baudis 2007-05-17 04:24:19 +02:00 committed by Junio C Hamano
parent 8299886619
commit d77b5673e9
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gitweb/gitweb.perl
View File

@ -1903,6 +1903,8 @@ sub git_header_html {
}
print "\n";
}
print "</div>\n";
my ($have_search) = gitweb_check_feature('search');
if ((defined $project) && ($have_search)) {
if (!defined $searchtext) {
@ -1932,7 +1934,6 @@ sub git_header_html {
"</div>" .
$cgi->end_form() . "\n";
}
print "</div>\n";
}
sub git_footer_html {