Switch back to pygments