I disagree. I like jokes, even sex jokes, even at the workplace.
However, it depends on company culture and policy, which should not be changed simply because one employee feels uncomfortable, even if it's a woman (or maybe the policy dictates that in such case the culture should be changed; nevertheless, gender shouldn't matter).