function ContentBg(color)
{
	var obj=document.getElementById("contents");
	obj.style.backgroundColor=color;
	
}
function do_color(vobject,vvar)
  { 
    document.getElementById('contents').style.color=vvar; 
  }
var size=12;
function fontsize(size)
{
    document.getElementById('contents').style.fontSize=size+'px';
}

  function fontMax(){
	size=size+2;
	document.getElementById('contents').style.fontSize=size+'px';
}

function fontMin(){
	size=size-2;
	if (size < 2 ){
		size = 2
	}
	document.getElementById('contents').style.fontSize=size+'px';
}