remove pygments dependence, using prettify instead