Does your boss know about this particular situation or just the situation as a whole? Only because there's a huge difference between some snide remarks and going out of your way to vindictively hurt a co-worker's feelings. (Like, the difference between "OMG. You're so fat!" and hanging pig-related items around your cubicle.)