I wrote this plugin because the new fonts in 3.2 version of wordpress are difficult to read in the HTML editor. Reverted them back to the font families used in 3.1. You can download it at wordpress.org.