// TODO: Referenzen auf diese Datei löschen, da Funktionen bereits in oon_functions.js eingebaut

var prefsLoaded = false;
var fontsize = 0;  // default-value
var minsize = 8;
var maxsize = 30;
var cookiefontsize = 0;

function start_setfont() {
    var cookie = readCookie("fontSize");
    if ( cookie ) { 
        cookiefontsize = cookie;
    } 
    setsize(cookiefontsize);
    if ( cookie ) { 
        cookiefontsize = cookie; 
    } else { 
        cookiefontsize = 0; 
    }
    saveCookie(cookiefontsize);
}

function textSize(dec) {
    setsize(dec);
}

function setsize(dec){
    var headsize = parseInt(fontsize)+2;
    /*var elementList = document.getElementsByClassName("textsize");*/
    var elementList = $$(".textsize");

    for (var i = 0; i < elementList.length; i++){
        if( window.getComputedStyle ) {
            var style = document.defaultView.getComputedStyle(elementList[i], null).getPropertyValue("font-size");
        } else {
            var style= Element.getStyle(elementList[i], 'font-size');
        }
        var fontgroesse = style.split("px");
        var newsize = parseInt(fontgroesse[0]) + parseInt(dec);
            if (newsize < minsize) {newsize=minsize}
            if (newsize > maxsize) {newsize=maxsize}
            elementList[i].style.fontSize=String(newsize)+"px";
    }
    cookiefontsize = parseInt(cookiefontsize) + parseInt(dec);
    saveCookie(cookiefontsize);
}

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 saveCookie(sizeForCookie){
    createCookie("fontSize", sizeForCookie, 365);
}

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 {
        expires = "";
    }
    document.cookie = name+"="+value+expires+"; path=/";
}

function deleteCookie() {
    saveCookie(0);
    location.reload();
}