//============================================================================
// Javascript : Font Size Style Appointment 
//
//   2006/06/22
//============================================================================

//============================================================================
// Constant
//============================================================================
cookiePath = "/";
cookieTimeLimit = 7;
cookieNameFSize = "fontsize";

sizeDefault = 9;

sizeStageMin = -2;
sizeStageMax = 8;
sizeStageDefault = 0;
sizeStage = sizeStageDefault;

var parentFlag = true;

//============================================================================
// Funciton
//============================================================================
function setCookieMain(name, value, valExpire) {
   document.cookie = name + "=" + escape(value) + ";expires=" + valExpire + ";path=" + cookiePath;
}

function setCookie(name, value) {
   date = new Date();
   date.setTime(date.getTime() + 24 * 60 * 60 * cookieTimeLimit * 1000);
   expires = date.toGMTString();
   
   setCookieMain(name, value, expires);
}

function getCookie(name) {
   key = name + "=";
   keyLen = key.length;
   cookieLen = document.cookie.length;
   for (i = 0; i < cookieLen; ) {
      j = i + keyLen;
      if (document.cookie.substring(i, j) == key) {
         return getCookieValue(j);
      }
      i = document.cookie.indexOf(" ", i) + 1;
      if (i == 0) {
         break;
      }
   }
   return null;
}

function getCookieValue(offset) {
   terminator = document.cookie.indexOf(";", offset);
   if (terminator < 0) {
      terminator = document.cookie.length;
   }
   return unescape(document.cookie.substring(offset, terminator));
}

function deleteCookie(name) {
   if (getCookie(name)) {
      setCookieMain(name, "", "Thu, 01-Jan-70 00:00:01 GMT");
   }
}

function getSize(val) {
    size = sizeDefault;
    if (val < sizeStageDefault) {
       size = sizeDefault + val;
    }
    else if (val == sizeStageDefault) {
       size = sizeDefault;
    }
    else if (val < sizeStageMax) {
       size = sizeDefault + val;
    }
    else {
       size = 30;
    }
    return size;
}

function fontSizeChange(code) {
   if (code == "up") {
      sizeStage ++;
      if (sizeStageMax < sizeStage) {
         sizeStage = sizeStageMax;
      }
   }
   else if (code == "down") {
      sizeStage --;
      if (sizeStage < sizeStageMin) {
         sizeStage = sizeStageMin;
      }
   }
   else if (code == "def") {
      sizeStage = sizeStageDefault;
   }

   setCookie(cookieNameFSize, sizeStage);
   location.reload(true);
   if (parentFlag) {
      try {
         parent.main.location.reload(true);
      } catch (e) { }
   }
}


//============================================================================
// Font Size Style Appointment 
//============================================================================
sizeCookieValue = getCookie(cookieNameFSize);
if (sizeCookieValue != null) {
   sizeStage = parseInt(sizeCookieValue);
}

document.writeln("");
document.writeln("<style type=\"text/css\">");
document.writeln("<!--");
document.writeln("body { font-size:" + getSize(sizeStage) + "pt; }");
document.writeln("-->");
document.writeln("</style>");
document.writeln("");