function f_plus()
{
 var l = document.getElementById('content');
 var nSize = l.style.fontSize ? l.style.fontSize : '12px';
 var iSize = parseInt(nSize.replace('px',''));
 if (iSize < 20) l.style.fontSize = (iSize + 1) + 'px';
}
function f_moins()
{
 var l = document.getElementById('content');
 var nSize = l.style.fontSize ? l.style.fontSize : '12px';
 var iSize = parseInt(nSize.replace('px','')); 
 if (iSize > 6) l.style.fontSize = (iSize - 1) + 'px';
}