/*var H, W, Factor=1, B4=false, Warn=true;

function once()			// Executed only once.
{	if (B4) return;
	B4 = true;
	window.onresize=resize;
	resize();
}

// Match body font to size of window.

function Finc()			// Increase by 10%
{	Factor *= 1.1;
	if (Factor > 1.8) Factor = 1.8;
	resize();
}

function Fdec()			// Decrease by 10%
{	Factor *= .9;
	if (Factor < .5) Factor = .5;
	resize();
}

function Fset()			// Reset factor
{	Factor = 1;
	resize();
}


// Percent of width: Define the size of "1.0em"

function resize()	// Set font relative to window width.
{	if (window.innerWidth)
		W = window.innerWidth;
	else
		W = document.body.clientWidth;

//   P =  Math.floor (W/33);				// ca. 3 percent constant
	P =  Math.floor (Factor*(1+W/140));		// Linear function
	
		
	if (P<2)P=2;							// Smallest size.
	document.body.style.fontSize=P + 'px';

	if (show = document.getElementById('Sizwarn'))
	{	Ratio = window.screen.availWidth/W;
		if (Warn && Ratio > 1.5)				// Show Warning?
			Warn = false;
		if (Warn)
			show.style.display = 'block';
		else
			show.style.display = 'none';
	}
}*/