function changeFontSize(inc)
{
	//jQuery
	$("#document .content").each(function(i){
		var size = (!inc) ? 12 : parseInt($(this).css("fontSize"))+inc;
		if(size > 8 && size < 20) $(this).css("fontSize", size);
	});
	return false;
}

//Disable selection on double click
function disableSelection(oidArr)
{
	for(key in oidArr)
	{
		o=document.getElementById(oidArr[key]);
		o.onselectstart=function(){return false;};
		o.onmousedown=function(){return false;};
	}
}