Better HTML indenting.