function getScrollerWidth() {
	var scr = null;
	var inn = null;
	var wNoScroll = 0;
	var wScroll = 0;

	// Outer scrolling div
	scr = document.createElement('div');
	scr.style.position = 'absolute';
	scr.style.top = '-1000px';
	scr.style.left = '-1000px';
	scr.style.width = '100px';
	scr.style.height = '50px';

	// Start with no scrollbar
	scr.style.overflow = 'hidden';

	// Inner content div

	inn = document.createElement('div');
	inn.style.width = '100%';
	inn.style.height = '200px';
	
	// Put the inner div in the scrolling div
	scr.appendChild(inn);

	// Append the scrolling div to the doc
	document.body.appendChild(scr);
	
	// Width of the inner div sans scrollbar
	wNoScroll = inn.offsetWidth;

	// Add the scrollbar
	scr.style.overflow = 'auto';

	// Width of the inner div width scrollbar
	wScroll = inn.offsetWidth;

	// Remove the scrolling div from the doc
	document.body.removeChild(
	document.body.lastChild);

	// Pixel width of the scroller

	return (wNoScroll - wScroll);
}



function setWindowSize(){
	var window_size = window.getSize();
	var scrollbar_width = getScrollerWidth();
	if(window_size.x > 940 + scrollbar_width){
		var new_width = 940 + scrollbar_width - window_size.x;
		window.resizeBy(new_width, 0);
	}
}

window.addEvent('domready', setWindowSize);
window.addEvent('resize', setWindowSize);