CatBrat, I'd meet with your HR department before taking any action. If they're worth their paychecks, they should at least start a file on the offender. If the person is harassing multiple people, encourage them to file complaints, as well.
"I wish I had documented more…" said nobody on their death bed, ever.