How do I change the font of the text editor?

[pfaffman (Jay Pfaffman)]

@sam

You have the ability to introduce themes and components on your site, overriding this font choice is 3 lines of CSS.

This looks like there’s a good chance it’ll work:

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