A simple wordpress plugin enabling the user to change the font size