A good friend of me was not happy with the new HTML-Editor font in WordPress 3.2. So I wrote him a plugin to bring back the “old” font to WordPress 3.2.
- Upload the whole plugin-folder to the /wp-content/plugins/ directory
- Activate the plugin through the ‘Plugins’ menu in WordPress
- Write a new post with the HTML-Editor and enjoy