Revert to setting frameborder and scrolling attributes in HTML.

Setting these in js does not work with IE.