Fixes #5630: Augment font-size of the whole app