Replace highlight.js with pygments.