Minor options css tweaks