Switch to json2.js
Partly rewrite of settings.js to be less awkward
Also in this commit:
- Clear the gadget if the server is unavailable
- Clean up css a bit