It looks like a lot of the lines in this block of changes have mixed tabs and spaces for indentation. I think all the HTML templates use tab indentation (because really no reason at all), so we should stay consistent here. I'm OK if you think it would be better to be all spaces, though (then that would be consistent across all the source). We definitely shouldn't have it mixed, though ;)