Change HTML indent size to 4
Short description
Change HTML indent size to 4
Why?
I noticed that most of our HTML files are indented using 4 spaces. This probably means that we have a preference for this indentation style, so I think it's better to make it official and keep it.
Still means that other HTML files need re-indentation.
Edited by Sébastiaan Versteeg