Fix ace theme font