HTML Editor Font Family Update

Updates the font-face of the html editor back to those used in 3.1.

Author:Conner McCall (profile at wordpress.org)
WordPress version required:3.2
WordPress version tested:3.2.1
Plugin version:.5
Added to WordPress repository:11-07-2011
Last updated:11-07-2011
Warning! This plugin has not been updated in over 2 years. It may no longer be maintained or supported and may have compatibility issues when used with more recent versions of WordPress.
Rating, %:0
Rated by:0
Plugin URI:http://connermccall.com
Total downloads:1 474
plugin download
Click to start download

Adds new stylesheet to the admin interface to return to the font family used in 3.1 in the HTML editor.