document.write('<a class="header" onclick="decreaseFontSize();"  title="Decrease font-size"><span style="cursor:hand; font-size:10px;">A&nbsp;&nbsp; </span></a> <a class="header" onclick="restoreFontSize();" title="Restore default font-sizes" alt="Restore default font-sizes"><span style="cursor:hand; font-size:12px;">A&nbsp;&nbsp; </span></a><a class="header" onclick="increaseFontSize();" title="Increase font-size"><span style="cursor:hand; font-size:14px;">A</span></a>');

var min=8;
var max=18;
function increaseFontSize() 
{
	var p = document.getElementsByTagName('p');
	for(i=0;i<p.length;i++) 
	{
		if(p[i].style.fontSize) 
		{
			var s = parseInt(p[i].style.fontSize.replace("px",""));
		} 
		else 
		{
			var s = 11;
		}
		if(s!=max) 
		{
			s += 1;
		}
		p[i].style.fontSize = s+"px"
	}
}
function decreaseFontSize() 
{
	var p = document.getElementsByTagName('p');
	for(i=0;i<p.length;i++) 
	{
		if(p[i].style.fontSize) 
		{
			var s = parseInt(p[i].style.fontSize.replace("px",""));
		} 
		else 
		{
			var s = 11;
		}
		if(s!=min) 
		{
			s -= 1;
		}
		p[i].style.fontSize = s+"px"
	}   
}
function restoreFontSize() 
{
	var p = document.getElementsByTagName('p');
	for(i=0;i<p.length;i++) 
	{
		if(p[i].style.fontSize) 
		{
			var s = parseInt(p[i].style.fontSize.replace("px",""));
		} 
		else 
		{
			var s = 12;
		}
		if(s!=12) 
		{
			s = 12;
		}
		p[i].style.fontSize = s+"px"
	}   
}