3 ms·Pygments can do this, it will be easy to integrate. Thanks for the suggestion!by alexkay 17y agoPygments can do this, it will be easy to integrate. Thanks for the suggestion!