This user was created automatically by the IdeaPush plugin.
I think there you should have the option to customize the font size from tiny to huge