Thanks for pointing this out. Iceweasel browser made the font a little bigger than expected. I will try to fix that.