Thanks for the tip!
I'm not a web developer by trade, so this is good advice and something I never looked into. Thanks for the heads up, I'll have to block Javascript and see if I can get it working. I might be able to remove the prettify stuff entirely.