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