var dsi=16;
var unit="px";
function FontSize(p) {
	if (p == "plus") {
		dsi++;
	}
	else {
		dsi--;
	}
	document.getElementById('body').style.fontSize=dsi+unit;
}

// add to html <a href="" onClick="FontSize('plus'); return false"><img src="/atf/cf/{99452D8B-E7F1-4BD6-A57D-B136CE6C95BF}/plus.gif" alt="" border="0"></a> change text size
// add to html <a href="" onClick="FontSize(); return false"><img src="/atf/cf/{99452D8B-E7F1-4BD6-A57D-B136CE6C95BF}/minus.gif" alt="" border="0"></a>