Replaced hightlight.js with pygments.