var header_basesize = null;

function resizeMe()
{
	var o = document.getElementById('serverName');
	size = o.style.fontSize;

	if (size.indexOf('px') > 1)
	{
		size = size.substring(0, size.length - 2);
	}

	if (null == header_basesize)
	{
		header_basesize = size
	}

	if (o.offsetTop > 100 || (o.clientHeight > (1.5 * header_basesize) || o.scrollHeight > (1.5 * header_basesize)) )
	{
		o.style.fontSize = (size - 1) + 'px';
		resizeMe();
	}
}

addEvent(window, 'load', resizeMe, true);