replace highlight.js with pygments