Indentation converted to spaces in while_loop_js.html