Change font size in ace editor