made tab gifs higher to give better display when font size is changed

This commit is contained in:
urs_hunkler 2007-03-04 17:12:09 +00:00
parent cd784f2438
commit 211d5844d4

Diff content is not available