The HTML editor in WordPress 3.3 uses monospace font, which is not really friendly to the eyes. Here’s how to change the font to, say, verdana.
1. Open your theme’s
2. Copy and paste the following code:
3. Save the functions.php file back to the server.