I am using ACE editor on my page,
To change font you can either add a css rule for #editor. or use
#editor
editor.setOptions({ fontFamily: "tahoma", fontSize: "10pt" });
But Ace only supports monospace fonts for now, and tahoma isn't monospace, so cursor position will be wrong.