7
Currently, code highlighting is turned off (see balpha's comment here). It is possible to turn it on, if we want so.
I think this would be nice to have, maybe on a per-tag basis, but turning it on is definitely the first step.
Because it is disabled site-wide, we can't force it by manually spec...