An attempt of tidying an HTML file following some guidelines specified in: