yet more minor css polish