Where did motogypsy talk about sexual harassment? To be mocked at work is not sexual harassment if nobody touch the worker or say sexual words to the person.

You advice to complain to the HR department. I would say that that is last option after trying other things. I say this because if one has complained, the mocker can find new ways to mock. Some people are difficult and like to be one up one down ............