out of curiosity, how does that even happen? do they use JS to change the font size when the window zoom changes?