var intCurrentSize = 100;



function SetTextSize(strElementID)
	{
	var divCurrent = document.getElementById(strElementID);

	if(divCurrent)
		{
		divCurrent.style.fontSize = intCurrentSize + '%';
		}
	}



function DoTextResizes()
	{
	if (intCurrentSize < 10)
		intCurrentSize = 10;

	SetTextSize('container');

	document.getElementById('text_size').src = "inc/store_text_size.php?size="+intCurrentSize;
	}



function IncreaseTextSize()
	{
	intCurrentSize += 10;
	DoTextResizes();
	}



function DecreaseTextSize()
	{
	intCurrentSize -= 10;
	DoTextResizes();
	}