layout tweak; options and preferences are less crowded.