var fDesc=new Array();
fDesc[0] = "Favicon Changer is a Google Chrome extension that lets you change favicons for your bookmarks, single webpages and entire websites. You can change the favicons on all your bookmarks and tabs without refreshing the pages. It supports most of the image file formats.";

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 = '';
	}
}