function sizeframe () {
    var f = document.getElementById ('frame');
    if (f) {
	var w, h;
	
	if (window.innerWidth) {
	    w = window.innerWidth;
	    h = window.innerHeight;
	} else if (document.documentElement &&
		   document.documentElement.clientWidth) {
	    w = document.documentElement.clientWidth;
	    h = document.documentElement.clientHeight;
	} else if (document.body && document.body.clientWidth) {
	    w = document.body.clientWidth;
	    h = document.body.clientHeight;
	}
	f.style.width  = w - 140;
	f.style.height = h - 140;
    }
}