// JavaScript Document

function nowlink(xx,yy,a)
{
	dom=document.getElementById(xx).getElementsByTagName("span");
	dom1=document.getElementById(yy).getElementsByTagName("span");
	for(i=0;i<dom.length;i++)
	{
		dom[i].className='show_b';
		dom1[i].className='none';
	}
	dom[a].className='show_a';dom1[a].className='block';
}

function nowlink2(xx,yy,a)
{
	dom=document.getElementById(xx).getElementsByTagName("span");
	dom1=document.getElementById(yy).getElementsByTagName("span");
	for(i=0;i<dom.length;i++)
	{
		dom[i].className='show_d';
		dom1[i].className='none';
	}
	dom[a].className='show_c';dom1[a].className='block';
}

function SetFont(size){
	document.getElementById("logPanel").style.fontSize=size;
}