Better HTML indentation.