Alterando a Fonte do Editor HTML no WP 3.2

Você está procurando uma maneira de fazer alterações na fonte do editor HTML do WordPress? Embora provavelmente exista um plugin para isso, criamos um pequeno trecho de código que você pode usar para alterar a fonte do editor HTML no WordPress 3.2 ou superior.

Instruções:

Tudo o que você precisa fazer é adicionar este código ao arquivo functions.php do seu tema ou a 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 sua primeira vez adicionando snippets de código no WordPress, consulte nosso guia sobre como adicionar snippets de código corretamente no WordPress, para não quebrar acidentalmente seu site.

Se você gostou deste trecho de código, considere conferir nossos outros artigos no site, como: os 9 melhores plugins de eventos do WordPress e como corrigir o erro de conexão com o banco de dados no WordPress.