[@_ck_ Participant 17 years, 9 months ago]

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

That makes my fonts like 10-20% bigger.