Kaspar, it isn’t. Both of these (prettify.js and highligh.js) are my favourite syntax highlighting libraries. Do you prefer highlight.js?