diff options
author | Jakub Narebski <jnareb@gmail.com> | 2006-10-06 12:31:05 +0200 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-10-08 13:36:58 -0700 |
commit | 9a7a62ff71c436fb5e024ec409ec28fca460a168 (patch) | |
tree | f5ec987f490d4af197e3b8923285f7fb7f145aad /gitweb/gitweb.css | |
parent | 9cb90b80fc1ec09d8e51451b18a7c8ef7eac8908 (diff) | |
download | git-9a7a62ff71c436fb5e024ec409ec28fca460a168.tar.gz git-9a7a62ff71c436fb5e024ec409ec28fca460a168.tar.xz |
gitweb: Cleanup Git logo and Git logo target generation
Rename $githelp_url and $githelp_label to $logo_url and $logo_label to
be more obvious what they refer to; while at it add commented out
previous contents (git documentation at kernel.org). Add comment about
logo size.
Use $cgi->a(...) to generate Git logo link; it automatically escapes
attribute values when it is needed. Escape href attribute using
esc_url instead of (incorrect!) esc_html.
Move styling of git logo <img> element from "style" attribute to CSS
via setting class to "logo". Perhaps we should set it by id rather
than by class.
Signed-off-by: Jakub Narebski <jnareb@gmail.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'gitweb/gitweb.css')
-rw-r--r-- | gitweb/gitweb.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gitweb/gitweb.css b/gitweb/gitweb.css index 668e69af1..3f62b6d75 100644 --- a/gitweb/gitweb.css +++ b/gitweb/gitweb.css @@ -16,6 +16,11 @@ a:hover, a:visited, a:active { color: #880000; } +img.logo { + float: right; + border-width: 0px; +} + div.page_header { height: 25px; padding: 8px; |