var fDesc=new Array();
fDesc[0] = "Pdf-renderer is a useful tool that allows the conversion of PDF into an image. With this application you can also view the desired document before printing. From the main menu of this program, you can set the page format for printing: you can adjust the size, the orientation, the margins, etc.";

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