Oh. You are right. On my local install it does indeed render as desired. I guess the official trac site, nor the bugtracker where I originally encountered this issue, installs Pygments. The confusing thing is, trac.edgewall.org _did_ have it at one point. It made me think that something in the code broke and nobody noticed.
-- You received this message because you are subscribed to the Google Groups "Trac Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to trac-users+unsubscr...@googlegroups.com. To post to this group, send email to trac-users@googlegroups.com. Visit this group at https://groups.google.com/group/trac-users. For more options, visit https://groups.google.com/d/optout.
