sloped

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

HTML Editor Font Family Update

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

John Cummings

If you’ve ever wanted to control how a particular part of your page or posts looks without having to modify the theme files or stylesheets, 
this is a simple plugin that allows you to do that.
Once installed and activated, you’ll have a new settings panel in the WordPress admin that will provide you with a text area block 
where you can include any styling you’d like to use, and a second input field that allows you to insert a comma delimited list of page 
or post IDs to apply these styles to.
Alternatively, you can enter ‘ALL’, and have your styles applied on every page/post.
Bug Reports or Feature Requests 
https://trello.com/b/9Bio6kHl
Follow me on Twitter 
https://twitter.com/jcummings1974

CSS Theme Override

Adds a settings panel to the Wordpress admin that allows you to specify css class or id styles and pages/posts to apply them to.

HTML Editor Font Family Update vs CSS Theme Override