There should be a setting to increase the Diagnostic font. It is not part of the font settings currently. The Diagnostic font is very, very small.
