https://raw.github.com/douglascrockford/JSLint/master/init_ui.js