See #4598
If you want to use Pygments, set `pygmentsUseClassic=true` in your site config. Fixes #3888