/*
 * JavaScript/CSS font size changer
 *
 * Visually change the font size of the desired element.
 * 
 * Usage:
 * 
 * 1. body.onload="setDefaultFontSize()"
 * 2. Place anchors with the desired font size.  
 * 3. anchor.href="javascript:changeFont( 'WideArticleContent', 12, );"
 */

function getCookie(c_name){
    if(document.cookie.length > 0) {
        c_start=document.cookie.indexOf(c_name + "=");
        if (c_start != -1) { 
            c_start=c_start + c_name.length + 1;
            c_end=document.cookie.indexOf(";", c_start);
            if (c_end == -1) {
                c_end=document.cookie.length;
	        }
            return unescape(document.cookie.substring(c_start, c_end));
            }
        }
    return false;
    }

function setCookie(c_name, value, expiredays) {
    var exdate=new Date();
    exdate.setDate(exdate.getDate()+expiredays);
    document.cookie= c_name + "=" + escape(value) + ((expiredays==null) ? "" : ";expires=" + exdate.toGMTString());
    }

function setDefaultFontSize( e ) {
    var fontSize = getCookie("fontSize");
    if (fontSize) {
        var element = returnObjById(e);
        element.style.fontSize = fontSize;
        }
    else {
        // Do nothing.
        }
    }

function changeFont(e, size) {
    var element = returnObjById(e);
    element.style.fontSize=size;
    setCookie("fontSize", size, 5);
    }