Display exception text as preformatted text

So that the error marker (^) points to the correct position. Also make the font size smaller to reduce wrapping/clipping caused by very long Type name (e.g. mapping type).