Uses the trac pygments theme instead.