var font_size = 12;
var font_original = 12;
var min_font = 9;
var max_font = 22;

var appNs=navigator.appVersion;
var ns4=(appNs.indexOf("4.77") != -1)||(appNs.indexOf("4.8") != -1);

function artTxt(txFg){
if (!ns4&&!txFg)document.write("<style>.txt{text-align:left;margin-right:118px;}</style>");
}

function saveFontSize(){
	var expire = new Date ();
   	expire.setTime (expire.getTime() + (6000 * 24 * 3600000)); //expires in 6 days from users clock
   	expire = expire.toGMTString();
	document.cookie="font_size="+font_size+"; expires="+expire;
}
	


function loadFontSize(){
  tempArray = document.cookie.split(";");
  for (tA = 0; tA < tempArray.length; tA++){
	if (tempArray[tA].indexOf('font_size') > -1){
 	  fontValue = tempArray[tA].split("=");
	  font_size = parseInt(fontValue[1]);
	}
  }

}


function setFontSize(){
  loadFontSize();
  var unFiltered = document.getElementsByTagName('*');
  var filtered = [];
  for (i = 0; i < unFiltered.length; i++){
    if (unFiltered[i].getAttribute('id') == 'plaintxt'){
      obj=unFiltered[i];
      obj.style.fontSize = font_size+"px";
      }
   }
}


function plus(){
  var unFiltered = document.getElementsByTagName('*');
  var filtered = [];
  for (i = 0; i < unFiltered.length; i++){
    if (unFiltered[i].getAttribute('id') == 'plaintxt'){
      obj = unFiltered[i];
      font_size = obj.style.fontSize;
      font_size = parseInt(font_size);
      if (font_size < max_font) font_size++;
      obj.style.fontSize = font_size+'px';
    }
  }
  saveFontSize();
  return false;
}



function minus(){
  var unFiltered = document.getElementsByTagName('*');
  var filtered = [];
  for (i = 0; i < unFiltered.length; i++){
    if (unFiltered[i].getAttribute('id') == 'plaintxt'){
      obj = unFiltered[i];
      font_size = obj.style.fontSize;
      font_size = parseInt(font_size);
      if (font_size > min_font)  font_size--;
      obj.style.fontSize = font_size+'px';
    }
  }
  saveFontSize();
  return false;
}



function original (){
  font_size = font_original;
  var unFiltered = document.getElementsByTagName('*');
  var filtered = [];
  for (i = 0; i < unFiltered.length; i++){
    if (unFiltered[i].getAttribute('id') == 'plaintxt'){
      obj = unFiltered[i];
      obj.style.fontSize = font_size+'px';
    }
  }
  saveFontSize();
  return false;
}


window.onload=new Function("setFontSize();");