Change iframe-resizing strategy again

Use documentElement.offsetHeight as height estimate. Also resize on every mouse or
key press

Issue #133