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

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

	function DoTextResizes()
	{
		SetTextSize('newstxt');
		SetTextSize('masinfo');
		SetTextSize('texto');

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