/*** resize.js 0.3 970811 
* js component for "reloading page onResize"
*/
window.onresize = resize;
window.saveInnerWidth = window.innerWidth;
window.saveInnerHeight = window.innerHeight;
function resize()
{
	if (saveInnerWidth < window.innerWidth ||
	saveInnerWidth > window.innerWidth || 
	saveInnerHeight > window.innerHeight ||
	saveInnerHeight > window.innerHeight )
	{window.location.reload();}
}