Changes the font size to 19px in ace editor.