%
%   if ($browser =~ /microsoft/) {
%
var doc = window.document.all;
var style = '.style';
var px = 'px';
%
%   } else {
%
var doc = window.document.layers;
var style = '';
var px = '';

var origWidth = innerWidth;
var origHeight = innerHeight;

function reDo() {
    if (innerWidth != origWidth || innerHeight != origHeight) {
        location.reload();
    }
}

onresize = reDo;
%
%   }
%