[@_ck_ Participant 16 years, 5 months ago]

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

That makes my fonts like 10-20% bigger.