var fDesc=new Array();
fDesc[0] = "Page Refresh is a browser extension that can auto-refresh pages, if they are idle, on a selected time interval. To use the extension, you have to press CTRL SHIFT R. To stop the refreshing, you need to press the same combo again. The program remembers the last scroll position of a page and restores it on reload.";

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