changing pygments stuff