var tgs = new Array('p', 'label','font');
var szs = new Array( '10px','11px','14px','17px','19px');
var startSz = 2;
function ts(trgt, inc)
   {
   if (!document.getElementById) return;
   var d = document, cEl = null, sz = startSz, i, j, cTags;
   sz += inc;
   if (sz < 0) sz = 0;
   if (sz > 4) sz = 4;
   startSz = sz;
   if (!(cEl = d.getElementById(trgt))) cEl = d.getElementsByTagName(trgt)[0];
   cEl.style.fontSize = szs[sz];
   for ( i = 0 ; i < tgs.length ; i++ )
      {
      cTags = cEl.getElementsByTagName(tgs[i]);
      for ( j = 0 ; j < cTags.length ; j++ ) cTags[j].style.fontSize = szs[sz];
      }
   cTags =document.getElementById("richtext");
   if(cTags!=null) cTags.style.fontSize = szs[sz];
   }