Makes the JSON editor nicer. IE9+

Test Plan: Open up the "developer JSON mode", and observe the large editor, monospace font, and that the tab key inserts four spaces.

Reviewers: jack

Reviewed By: jack

Subscribers: alpert

Differential Revision: http://phabricator.khanacademy.org/D7331