WordPress code highlighting
I finally found a code highlighting plugin for WordPress that I like; CodeColorer. This works on the server side, so there is no need for JavaScript support on the client browser. The side effect of this is that I’ve had to re-visit all my previous posts to remove all the formatting I had manually applied.