I have just used warm water and a mild detergent. I have not put any
vinegar in there yet, but it sounds like a pretty smart idea.
I think a good mop is essential though.