diff options
| author |  Petr Baudis <pasky@suse.cz> | 2007-05-17 04:24:19 +0200 |
|---|---|---|
| committer |  Junio C Hamano <junkio@cox.net> | 2007-05-17 17:37:30 -0700 |
| commit | d77b5673e90f47309d6bf87a7653896169945da0 (patch) | |
| tree | f852ff4ce709e49322797afcd95f71b3f824dda1 /compat/strcasestr.c | |
| parent | Merge branch 'maint' (diff) | |
| download | tgif-d77b5673e90f47309d6bf87a7653896169945da0.tar.xz | |
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>
Diffstat (limited to 'compat/strcasestr.c')
0 files changed, 0 insertions, 0 deletions