Editing: editor.css