index-webjump.js: whitespace, style