/**
 * changes the width of the 'Menu' and up to 'maxTables' 'Tables'. looks for
 * the width in an <select> tag with the name 'tableSize'
 *
 * @param  maxTables  the number of tables to change
 *
 */
function changeSize ( maxTables ) {
  var s = "Table"
	var newSize = document.getElementsByName('tableSize')[0].value + "px";
	
	// Site Top
	var elem0 = document.getElementById('SiteTop');
	if ( elem0 != null ) {
  	elem0.style.width = newSize;
	}
	

	// first the menu
	var elem1 = document.getElementById('Menu');
	if ( elem1 != null ) {
  	elem1.style.width = newSize;
	}
	
	// then the tables
	for ( var i = 0; i <= maxTables; i++ ) {
	  var elem = document.getElementById(s + i);
		if ( elem != null ) {
		  elem.style.width = newSize;
		}
	} 
}