pretty

Some tweaks for beautifying HTML with js-beautify according to my preferences.