// JavaScript Document
function ChangeFontSize(zoom)
{
	document.getElementById('article_content').style.fontSize = zoom+'px';
}

function ChangeBgColor(color)
{
	document.getElementById('article_content').style.backgroundColor = color;
}