/* Funzione per aumentare-diminuire font articolo */

ok = (document.styleSheets) ? 1 : 0;

function piu() {
if(ok) {
var size = document.getElementById('bodyArticle').style.fontSize.substring(0,2)
var dimFont = parseInt(size,10)

if (isNaN(dimFont)) {dimFont = 12; }
dimFont += 1;
{
if (dimFont > 20) dimFont = 20;
}
//document.getElementById('bodyArticle').style.fontSize = dimFont + 'px';
bodyart = document.getElementById('bodyArticle');
bodyart.style.fontSize = dimFont + 'px';

alinks = bodyart.getElementsByTagName("a");
for(i=0; i < alinks.length; i++)
   alinks.item(i).style.fontSize = dimFont + 'px';
}

} 

function meno() {
if(ok) {
var size = document.getElementById('bodyArticle').style.fontSize.substring(0,2)
var dimFont = parseInt(size,10)

if (isNaN(dimFont)) {dimFont = 12; }
dimFont -= 1;
{
if (dimFont < 9) dimFont = 9;
}
//document.getElementById('bodyArticle').style.fontSize = dimFont + 'px';
bodyart = document.getElementById('bodyArticle');
bodyart.style.fontSize = dimFont + 'px';

alinks = bodyart.getElementsByTagName("a");
for(i=0; i < alinks.length; i++)
   alinks.item(i).style.fontSize = dimFont + 'px';
}

}