using pygments instead of prettify