Swap highlightjs with pygments