If you are using WordPress and have recently upgraded to the latest 3.2.x version, you will notice that the font for the HTML editor has changed. In most WordPress upgrade, changes are good, but in this case, the changed font is not web friendly and is straining to the eyes.
One of the way to change it is to directly edit the wp-admin.css file under the “wp-admin -> css” folder. This is not a good solution because the next time you upgrade your WordPress, your files will be overwritten.
The best way is to insert a small function to your functions.php.
functions.php file in your Themes folder.
Add the following code to the end of the file:
Save and upload the functions.php file back to the server. This is the result: