Small tweeks in indentations in HTML files