use pygments code syntax highlighting plugin