var zoomlevel = 0;
function magni_inc(amount)
{
	// if(!amount) amount = 2;
	if(zoomlevel > 1) return;
	else zoomlevel++;
	var currentSize = parseInt(document.body.style.fontSize);
	if(!currentSize) currentSize = 10;
	currentSize = currentSize + amount;
	document.body.style.fontSize = currentSize+"px";
}

function magni_dec(amount)
{
	if(!amount) amount = 2;

	if(zoomlevel < -1) return;
	else zoomlevel--;

	var currentSize = parseInt(document.body.style.fontSize);
        if(!currentSize) currentSize = 10;
        currentSize = currentSize - amount;
        document.body.style.fontSize = currentSize+"px";
}

function magni_autosize()
{
	if(zoomlevel == 1) magni_dec(4);
	else magni_inc(4);
}