Another minor CSS tweak.