<!--
	// plus
	if (textsize < stylesheetTitles.length-1) {
		var plus = "<a href=\"javascript:increase();\"><img src=\"/images/text_plus.jpg\" width=\"70\" height=\"21\" border=\"0\" name=\"plus\" id=\"plus\" alt=\"Increase text size\"></a>" ; }
	else {
		var plus = "<a href=\"javascript:increase();\"><img src=\"/images/text_plus_ia.jpg\" width=\"70\" height=\"21\" border=\"0\" name=\"plus\" id=\"plus\" alt=\"Increase text size\"></a>" ; }
	document.write(plus);
	//-->