Yes indeed, i’m talking about the CSS of this theme, which doesn’t seem to work well with that editor. As far as i can see, it is enough to remove the !important in style.css on line 685, which has no other negative effects as far as i can see.