WordPress: Change Font in HTML Editor

functions.php

add_action( 'admin_head-post.php', 'webendev_fix_html_editor_font' );
add_action( 'admin_head-post-new.php', 'webendev_fix_html_editor_font' );
/**
 * Change Font in HTML Editor
 *
 */
function webendev_fix_html_editor_font() { ?>
	<style type="text/css">#wp-content-editor-container #content, #wp_mce_fullscreen { font-family: Verdana, Geneva, sans-serif; }</style>
	<?php
}