Change the HTML Editor Font
<?php
//* Do NOT include the opening php tag shown above. Copy the code shown below.
<!--
Can’t stand courier? Use this to change your font. Paste into your functions.php
-->
function change_editor_font(){
echo "<style type='text/css'>
#editorcontainer textarea#content {
font-family: Monaco, Consolas, \"Andale Mono\", \"Dejavu Sans Mono\", monospace;
font-size:14px;
color:#333;
}
</style>"; }
add_action("admin_print_styles", "change_editor_font");