Fixed pygments with monokai theme