rem: this.size.w = parseInt(this.div.style.width); this.size.h = parseInt(this.div.style.height); 
add: var dim = Element.getDimensions(this.div); this.size.w = dim.width; this.size.h = dim.height; 
context:     updateSize: function() {        this.size = new OpenLayers.Size(                    this.div.clientWidth, this.div.clientHeight);        this.events.div.offsets = null;        // Workaround for the fact that hidden elements return 0 for size.        if (this.size.w == 0 && this.size.h == 0) {            this.size.w = parseInt(this.div.style.width);            this.size.h = parseInt(this.div.style.height);        }    },
meta: 1027	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1027/b6f72222824299dad899fe6285b5adfc8c99e889/Map.js/clean/lib/OpenLayers/Map.js