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 /Documentation/git-whatchanged.txt | |
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 'Documentation/git-whatchanged.txt')
0 files changed, 0 insertions, 0 deletions