var fDesc=new Array();
fDesc[0] = "This Chrome extension adds a printer button to the browser window. You can also use it to customize and save the positioning of your print margins in inches or millimeters. Custom margins only work by pressing the Print button, other print commands will use the default margins of the browser.";

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