// thanks to http://nicusor.com/programming-stuff/javascript-text-resize/
function fsize (ids, size, unit)
{
	if (typeof (ids) == "string")
		ids = [ids];

	for (var x = ids.length; x--; )
		if (el = document.getElementById (ids[x]))
			el.style.fontSize = size + unit;

	return false;
}