Move styles in editor.html to external file

Split out from #261.