Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-19 12:11:47 -0700 (Mon, 19 Apr 2004)
Revision: 5673
Log message:

      Browser layout should be updated using BODY.onLoad, not in the HEAD
      section.  This now works with IT.  It also does active resizing when
      then browser window is resized.
      

Changes  Path
+34 -36 metaprl/support/shell/inputs/layout.js
+2 -14 metaprl/support/shell/inputs/pagelong.html
+2 -14 metaprl/support/shell/inputs/pageshort.html
+34 -1 metaprl/support/shell/inputs/style.css
+2 -5 metaprl/support/shell/shell_browser.ml