editor.js: Rewrote the way the editor and surrounding UI are inserted. The top
UI is now integrated into a fixed-height div that appears to be part of the
title bar. Changed some settings in the editor such as disabling toggle,
resize, and replacing tabs with 4 spaces (consistent with console).
editor.css: Restyled editor. The editor pane now takes up the whole screen
(all the way to the edge).