Re: bad vertical alignment in index

[Karl Berry]

    the second column is moved to the right by one character.  

I committed a(n ugly) fix for this to CVS.

Thanks,
karl