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.