
    function createCookie(name, value, days) {
        if (days) {
            var date = new Date();
            date.setTime(date.getTime() + (days * 24 * 60 * 60 * 1000));
            var expires = "; expires=" + date.toGMTString();
        }
        else var expires = "";
        document.cookie = name + "=" + value + expires + "; path=/";
    }

    function readCookie(name) {
        var nameEQ = name + "=";
        var ca = document.cookie.split(';');
        for (var i = 0; i < ca.length; i++) {
            var c = ca[i];
            while (c.charAt(0) == ' ') c = c.substring(1, c.length);
            if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length, c.length);
        }
        return null;
    }

    function eraseCookie(name) {
        createCookie(name, "", -1);
    }

    function loadTextSize() {
        resizeText(readCookie('fontsize'));
        changeHighlight(readCookie('fontsize'));
    }

    function setTextSize(multiplier) {
        eraseCookie('fontsize');
        createCookie('fontsize', multiplier, 365);
        resizeText(multiplier);
        changeHighlight(multiplier);
    }

    function resizeText(multiplier) {

        if (multiplier == 'normal') {
            document.body.style.fontSize = "0.82em";
        }
        if (multiplier == 'large') {
            document.body.style.fontSize = "1em";
        }
        if (multiplier == 'larger') {
            document.body.style.fontSize = "1.25em";
        }

    }

    function changeHighlight(multiplier) {
        if (multiplier == 'normal') {
                document.getElementById('a_textresize_normal').className = 'PrefLinkSmallOver';
                document.getElementById('a_textresize_large').className = 'PrefLinkMedium';
                document.getElementById('a_textresize_larger').className = 'PrefLinkLarge';
        }
        if (multiplier == 'large') {
            document.getElementById('a_textresize_normal').className = 'PrefLinkSmall';
            document.getElementById('a_textresize_large').className = 'PrefLinkMediumOver';
            document.getElementById('a_textresize_larger').className = 'PrefLinkLarge';
        }
        if (multiplier == 'larger') {
            document.getElementById('a_textresize_normal').className = 'PrefLinkSmall';
            document.getElementById('a_textresize_large').className = 'PrefLinkMedium';
            document.getElementById('a_textresize_larger').className = 'PrefLinkLargeOver';
        }
    }
