/* 
Questa funzione ridimensiona il font-size del tab body in base alla larghezza del document.
Divido la larghezza dello document per 8 per ottenere la percentuale di ridimensionamento
*/
function changeFontSize() 
{
	document.body.style.fontSize=(Math.floor(document.body.clientWidth/9))+'%';
}