/*moved to editor.css*/