The height for the core html editor widget should be `100%` instead of `30em`. Maybe we can use `min-height: 30em; height: 100%` to fix it.