Changing the HTML editor font in wp 3.2
wordpress snippet
As pointed out in a recent article by Justin Tadlock the font within the HTML editor is not that easy on the eyes. Adding this snippet to the functions.php of your wordpress theme will let you change the font for the wordpress HTML editor.
snippet : PHPcopy
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 }
