var fDesc=new Array();
fDesc[0] = "Minecraft GUI is a plugin that allows you to communicate with the server without being in game. It allows you to get some basic information (Server OS, IP, Uptime, Game Port, Version, Online player (count), number of players in Whitelist, time (Day/Night)), and to chat (from GUI to game and from game to GUI). It also informs you when someone connects in game or from GUI (players in game also receive a message saying you logged from GUI).";

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