Yeah. DPI story on Linux desktops are not very good. A few of them handles 200% scaling pretty well, but with something like 150% scaling, it fails pretty terribly.<p>I had some success modifying things like border width, font sizes manually.