options: minor CSS tweak