Useful shortcut for those of us needing bigger font sizes these days!