// spectre des differentes taille de fonte
var tabSize = new Array( '9px','10px','11px','12px','13px','14px','15px','16px', '18px', '20px', '22px', '24px');
var nbSize = tabSize.length; 
var iStartSize = 2;
var iCurrentSize = iStartSize;

function setFontSize(divId, iDelta) //tabCtrlId, strFileCss, iDelta) 
{
  var oDiv = document.getElementById(divId);
  if( oDiv ) {
    var oStyle = ( oDiv.style ? oDiv.style : oDiv );
    iCurrentSize += iDelta;
    if( iCurrentSize < 0 ) iCurrentSize = 0; 
    if( iCurrentSize > nbSize-1 ) iCurrentSize = nbSize-1;
    oStyle.fontSize = tabSize[iCurrentSize];
  }
}