Increased font size of ace editor