function modifyTabSpacing() {
	var tabDiv = document.getElementById('tabs');
	var tspans = tabDiv.getElementsByTagName("span");
	for ( var i = 0; i < tspans.length; i++ ) {
		var span = tspans[i];
		var td = span.parentNode;

		td.style['width'] = ( 2 + span.offsetWidth );
	}
}