A Decrease font size. A Reset font size. A Increase font size.
It's most likely something we have done wrong, but now we know about it, we will try and fix it.