WordPress plugin, which allows you to change the font size of the visual editor