use Pygments to highlight code