Change WP 3.2 HTML Editor font

WordPress 3.2 comes with a brand new “distraction free” full-screen editor. For those who want to use it, and spends their time in the HTML editor instead of the visual one, the new monospaced font that it uses might not be very attractive.

To change it to something else, just add this snippet to functions.php.

Code Snippet:

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() { ?>
    &lt;style type="text/css">
        #editorcontainer #content, #wp_mce_fullscreen {
            font-family: Georgia, "Times New Roman", "Bitstream Charter", Times, serif;
<?php } ?>

Posted in Admin area