larger font in codemirror