super minor css change which ultimately I think does nothing