Yeah, I tested here and it works fine too. I can't remember exactly what this fixed but it was necessary at the time. Possibly Pygments fixed it?