html - element.innerHTML = element.innerHTML は Firefox 4 でレイアウトを変更します

Question

Ext の古いドキュメント ( http://extjs.cachefly.net/ext-3.2.1/docs/?class=Ext.grid.PropertyGrid ) を参照すると、奇妙な問題が見つかりました。

継承ボックス (右上) のレイアウトがやや崩れています。

壊れたレイアウト http://img339.imageshack.us/img339/374/bildschirmfoto20110427u.png

しかし、実行後

var resblock = document.getElementById('docs-Ext.grid.PropertyGrid').getElementsByClassName('res-block-inner')[0];
resblock.innerHTML = resblock.innerHTML; // should be a no-op(?)

すべてが大丈夫です。

大丈夫レイアウト http://img204.imageshack.us/img204/374/bildschirmfoto20110427u.png

それはどうしてですか？Firefox 4 のバグ？

---

最小限のテストケースを編集: http://jsfiddle.net/uZ3eC/