Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-08 20:12:53 -0800 (Wed, 08 Dec 2004)
Turns out that for some reason Firefox has problem with JS making the
iframe size _bigger_ than the css value, but has no poblem making it
_smaller_. So a workaround for some of the weird Firefox issues is to
start with very large initial CSS values of "height" (since they get
overriden by JS anyway it should not matter on other browsers).