How to change WordPress editor font

Hate the current font used in WordPress editor? It’s possible to be changed to modern font such as Monaco or Consolas, just paste the code into your WordPress theme’s functions.php file.

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");