Как изменить стиль шрифта в редакторе ACE?
Я использую редактор ACE на своей странице,
<script src="ace-builds-master/src-noconflict/ace.js" type="text/javascript" charset="utf-8">
</script>
<script>
var editor = ace.edit("editor");
editor.setTheme("ace/theme/cobalt");
editor.getSession().setMode("ace/mode/geco");
</script>
По умолчанию он показывает шрифт, я хочу изменить свой шрифт на «Tahoma 10pt».
Как я могу это сделать?