demo.js: tabs to spaces indent