Fixes a problem where the editor would always be 30 pixels smaller
than its set height.

The height is now set on the outer wrapper DIV again, and some
height: 100% tricks are used to make height information flow
both ways (inside-out in demo/resize.html mode, outside-in in
normal, fixed-height mode).

Closes #775