better indenting for html/javascript mixed files