Comment 3 for bug 793485

Thanks, Paul. I played around with different font sizes in the terminal, but for me it doesn't really alleviate the 'squishing' effect. It just makes bigger fonts which are bolded and squishy feeling.

It's a bit distracting only since bold text is enabled in the terminals by default and I am used to the current standard monospace.