Como eu mudo a fonte do editor de texto?

[pfaffman (Jay Pfaffman)]

@sam

Você tem a capacidade de introduzir temas e componentes em seu site, substituir esta escolha de fonte são 3 linhas de CSS.

Isto parece que há uma boa chance de funcionar:

.d-editor-container .d-editor-textarea-wrapper textarea.d-editor-input {
    font-family: Verdana, Geneva, Tahoma, sans-serif !important;
}