A few options.html and options.css tweaks