(To expand on that comment...I think the main reason for this block is to hack around specific issues with CodeMirror styles interfering with each other when we nest editors, whereas the `height: auto` is really about supporting the behavior we want for inline editors, so belongs more in the place where we define inline widget styles. Kind of a subtle distinction, I suppose.)