Use Pygments for code highlight