//Zmiana wielkości fontów AAA
function setFontSize(fSize)
{
	document.cookie="fontSize="+fSize;
// 3 nastepne linie ustawiają klase dla podkreslenia
	document.getElementById('f12').className = "f10";
	document.getElementById('f14').className = "f14";
	document.getElementById('f16').className = "f16";
//ustawia linie dla pokreślenia
	if( fSize == '12'){
		document.getElementById('f'+fSize).className = "f10 underline";
	}
	else{
		document.getElementById('f'+fSize).className = "f"+fSize+" underline";
	}
//zmienia wielkość liter w div'ie o identyfikatorze aTxt
	document.getElementById("aTxt").style.fontSize = fSize + "px";
// zmienia interlinie w związku z wielkością fontu.
	if( fSize == '12'){
		document.getElementById("aTxt").style.lineHeight = fSize + 6 + "px";
	}
	else if( fSize == '14'){
		document.getElementById("aTxt").style.lineHeight = fSize + 7 + "px";
	}
	else if( fSize == '16'){
		document.getElementById("aTxt").style.lineHeight = fSize + 8 + "px";
	}		
}