Adjust default font size for Ace editor