Indentation converted to spaces to functions_js.html