fix Ace editor font