Improve indentation of HTML export