Setting indentation in HTML files.