Cómo cambiar el tipo de letra del editor HTML en WordPress 3.2

La más reciente versión de WordPress trajo consigo importantes cambios en la del popular gestor de contenidos, la mayoría de las cuales han sido bienvenidas por los usuarios. Sin embargo, me doy con la sorpresa de que no soy la única persona a la cual no le parece agradable el tipo de letra que se ha asignado al editor HTML de los posts.

Si sueles usar el editor HTML con frecuencia y simplemente no aguantas el nuevo tipo de letra, puedes cambiarlo al tipo que prefieras agregando unas líneas de código al final del archivo functions.php de tu template (dentro de la carpeta themes):

[php]
add_action( ‘admin_head-post.php’, ‘fix_html_editor_font’ );
add_action( ‘admin_head-post-new.php’, ‘fix_html_editor_font’ );

function fix_html_editor_font() { ?>
<style type="text/css">
#editorcontainer #content, #wp_mce_fullscreen {
font-family: Tahoma,Verdana,Arial,Helvetica;
}
</style>
[/php]

El valor «font-family» define la nueva familia de fuentes a utilizar, en este caso «Tahoma, Verdana, Arial, Helvetica». Otra opciones son Times New Roman, Impact, Courier New, etc.

Fuente: MakeTechEasier