Use a different Pygments style.