> >- Use tab instead of 8 spaces.
> 
> Where does anything specify this in share/misc/style? I've looked
> and can't find any hard reference for this (and mixing hard tabs and
> spaces for indenting always tends to be problematic with differing
> editors).

Please do `cat -t misc/style | more'.  You would see that tab is used
for basic indentation.

enami.