diff options
author | Lars Hjemli <hjemli@gmail.com> | 2008-05-03 14:44:20 +0400 |
---|---|---|
committer | Lars Hjemli <hjemli@gmail.com> | 2008-05-04 19:30:02 +0400 |
commit | 17890d0058c1555133c8767ceb123e809e6971ab (patch) | |
tree | e20eac18444fd75f6e25f03b6622245ca848d0d6 /git | |
parent | aa3c4486b41b8b13d0f52477f033837fc8bb9524 (diff) |
Add link to index page from repo header, remove page name
This makes it more obvious how to get back to the index, especially when the
config option `logo-link` is used. And the page name displayed in the header
provided no extra information. It only consumed space and deserved to die.
While at it, make sure that the different parts of the header doesn't wrap
when horizontal space is limited.
Signed-off-by: Lars Hjemli <hjemli@gmail.com>
Diffstat (limited to 'git')
0 files changed, 0 insertions, 0 deletions