var fDesc=new Array();
fDesc[0] = "Page Monitor is a browser extension that stays in the background and monitors web pages for changes. This extension allows your browser to monitor changes to web pages for you. It can inform you whenever a particular page changes without you having to go and check every time. To use it, simply go to a page you would like to monitor, click on the Page Monitor icon and select "Monitor This Page".";

function tShowHide(id, show)
{
	var s = document.getElementById("desc");

	if ((s.innerHTML.length<=212 || show==1) && show!=2)
	{
		s.innerHTML = fDesc[id];
		if (document.getElementById('m1'))
			document.getElementById('m1').style.display='none';
		if (document.getElementById('m2'))
			document.getElementById('m2').style.display='none';
		if (document.getElementById('more_txt'))
			document.getElementById('more_txt').style.display='inline';
	}
	else
	{
		s.innerHTML = '';
	}
}