Alterando a fonte do editor HTML no WP 3.2

Você está procurando uma maneira de alterar a fonte do editor de HTML do WordPress? Embora provavelmente exista um plug-in para isso, criamos um trecho de código rápido que você pode usar para alterar a fonte do editor de HTML no WordPress 3.2 ou superior.

Instruções:

Tudo o que você precisa fazer é adicionar esse código ao arquivo functions.php do seu tema ou em um plugin específico do site:

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 }

Observação: Se esta é a primeira vez que você adiciona trechos de código no WordPress, consulte nosso guia sobre como adicionar corretamente trechos de código no WordPress para não danificar acidentalmente seu site.

Se você gostou desse snippet de código, considere dar uma olhada em nossos outros artigos no site, como: 9 melhores plugins de eventos do WordPress e como corrigir o erro ao estabelecer conexão com o banco de dados no WordPress.