Preserve colors in error messages

[jyn514]

Currently, playground errors look like this:

But locally, the error message is a lot easier to read:

It would be nice to keep the highlighting on playground too.

[shepmaster]

Complicated by my ever-delayed plan to add theming to the playground...