
function fontSize(direction)
{
    switch (direction)
    {
	case "up":
	    /*if (document.body.style.fontSize == "")
	    {
		document.body.style.fontSize = '100%';
	    }
	    document.body.style.fontSize = parseInt(document.body.style.fontSize) * 1.1 + '%';
            */
	    if (document.getElementById('mainTable').style.fontSize == "")
	    {
		document.getElementById('mainTable').style.fontSize = '100%';
	    }
	    document.getElementById('mainTable').style.fontSize = parseInt(document.getElementById('mainTable').style.fontSize) * 1.2 + '%';
	    break;
	case "down":
	    /*if (document.body.style.fontSize == "")
	    {
		document.body.style.fontSize = '100%';
	    }
	    document.body.style.fontSize = parseInt(document.body.style.fontSize) * .9 + '%';
            */
	    if (document.getElementById('mainTable').style.fontSize == "")
	    {
		document.getElementById('mainTable').style.fontSize = '100%';
	    }
	    document.getElementById('mainTable').style.fontSize = parseInt(document.getElementById('mainTable').style.fontSize) / 1.2 + '%';
	    break;
	default:
	    break;
    }

    document.cookie = "strasburgertxtresize=" + document.getElementById('mainTable').style.fontSize + ";expires=Thursday, December 31, 2020 12:59:59 PM";
}

function setTextSize()
{
    var textSize = getCookie('strasburgertxtresize');

    if (textSize)
    {
        document.getElementById('mainTable').style.fontSize = parseInt(textSize) + '%';
        document.cookie = "strasburgertxtresize=" + textSize + ";expires=Thursday, December 31, 2020 12:59:59 PM";
    }
}

function getCookie(name)
{
    var dc = document.cookie;

    var prefix = name + "=";
    var begin = dc.indexOf("; " + prefix);
    if (begin == -1)
    {
        begin = dc.indexOf(prefix);
        if (begin != 0) return null;
    }
    else
    {
        begin += 2;
    }

    var end = dc.indexOf(";", begin);
    if (end == -1)
    {
        end = dc.length;
    }

    return unescape(dc.substring(begin + prefix.length, end));
}