In fact, the most sexist behavior I've encountered in the workplace was a manager who had a propensity to interrupt women more often than men. I mentioned this to him in private. Apparently, it was an unconscious bias. Afterwards, he made an effort to correct for it.
Outside of the workplace (parties, bars, public transportation), I've encountered much worse: people getting cornered, felt-up, etc. But that's always involved strangers or acquaintances, not coworkers.
And it should go without saying, but I really feel for the author. :(