Enforce monospace in JSON textarea

Using a monospace font for JSON is a trivial but significant formatting improvement.