function setfont(size)
{
	document.getElementById("content").className="detail_content"+size;
}