/*added to editor.css*/