minor css fix editor’s bar