The coding style page is messed up

[pbelmans]

See http://stacks.math.columbia.edu/tag/02BZ: code isn't displayed etc.

[pbelmans]

This is going to be really hard based on the naive way we parse LaTeX... It's also just 1 page, and one that people won't be viewing very often given that it is one of the few that does not have interesting mathematics on it.