js: use encodeURIComponent() so # works
Add option to invert display
js settings: replace selection lists with nicer button interface