My working copy of highlight.js, a Javascript syntax highlighter