Compress editor.css using less.
Pretty print editor.less.
Darken fonts.