The problem is also apparent at 17 ppem, which seems to be the system default font size for Gnome Terminal.
The problem is also apparent at 17 ppem, which seems to be the system default font size for Gnome Terminal.