dirkg
committed
on 14 Nov 03
Applying Carl's patch from bug #943. A cosmetic change for some browsers.