Alright, try updating to 0.10.1.2. I wasn't able to recreate the exact problem on my end, but I did find two issues that would affect font scaling at different DPI settings which I verified. Of course this is the font getting larger-- not smaller, but I'm hoping it fixes your issues.