
<!--
	var browser = new browser_detect();
	if ( browser.versionMajor > 4 || !( browser.isIE || browser.isNS ) )
	{
		/* only offer style/font changing to version 5 and later browsers
		 * which have javascript enabled. curiously, if you print this out
		 * in NS4, NS4 breaks for some reason. 
		 */
		document.write('									\
			<p class="fontsize-set">	Ridimensiona caratteri:		<br>				\
				<a href="#" onclick="setFontSize(0); return false;"			\
					><img src="/tema/immagini/normale.gif" width="17" height="21"	\
						alt="normale" title="normale"			\
				><\/a>			|						\
				<a href="#" onclick="setFontSize(1); return false;"			\
					><img src="/tema/immagini/piccolissimo.gif" width="17" height="21" 	\
						alt="piccolissimo" title="piccolissimo"			\
				><\/a>									\
				<a href="#" onclick="setFontSize(2); return false;"			\
					><img src="/tema/immagini/piccolo.gif" width="17" height="21"	\
						alt="piccolo" title="piccolo"			\
				><\/a>									\
				<a href="#" onclick="setFontSize(3); return false;"			\
					><img src="/tema/immagini/medio.gif" width="17" height="21"	\
						alt="medio" title="medio"			\
				><\/a>									\
				<a href="#" onclick="setFontSize(4); return false;"			\
					><img src="/tema/immagini/grande.gif" width="17" height="21"	\
						alt="grande" title="grande"			\
				><\/a>									\
			<\/p>										\
		');
	}
//-->
