Como alterar a fonte do editor no WordPress

Abra o arquivo functions.php e cole o seguinte código:

add_action( 'admin_head-post.php', 'devpress_fix_html_editor_font' );
add_action( 'admin_head-post-new.php', 'devpress_fix_html_editor_font' );

function devpress_fix_html_editor_font() { ?>
<style type="text/css">#editorcontainer #content, #wp_mce_fullscreen { font-family: Georgia, "Times New Roman", "Bitstream Charter", Times, serif; }</style>
<?php }

Você pode usar qualquer fonte, basta trocar a fonte Georgia pela fonte que você prefere.