Cambiar la fuente del editor HTML en WP 3.2

¿Estás buscando una forma de hacer cambios en la fuente del editor HTML de WordPress? Si bien probablemente haya un plugin para esto, hemos creado un fragmento de código rápido que puedes usar para cambiar la fuente del editor HTML en WordPress 3.2 o superior.

Instrucciones:

Todo lo que tienes que hacer es agregar este código al archivo functions.php de tu tema o a un plugin específico del sitio:

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 }

Nota: Si es la primera vez que agregas fragmentos de código en WordPress, consulta nuestra guía sobre cómo agregar fragmentos de código correctamente en WordPress, para que no rompas accidentalmente tu sitio.

Si te gustó este fragmento de código, considera echar un vistazo a nuestros otros artículos en el sitio como: los 9 mejores plugins de eventos de WordPress y cómo solucionar el error al establecer una conexión de base de datos en WordPress.