[Karellen]

Is that just because they've never tried to figure out how, because the default font size works fine for them? In which case, the answer is still not to change it.