[@_ck_ Participant 17 years, 3 months ago]

Maybe it’s because I use the “large fonts” setting in Windows.

That makes my fonts like 10-20% bigger.