I really love this style for formatting code blocks.

Turns out it’s generated by a year and a half old WordPress plugin called Code Viewer.

The only downside is that the code is not cleanly copyable because it’s structured inside an ordered list with indentation determined by CSS. I’m not sure I like the arbitrary line breaks either. pre {overflow:auto;} still works the best for me.