> Was that indenting using space characters (char 32), or indenting using a tab
> character (char 9)?

I have a mild preference for tabs. It's the 4 characters that's the important bit.