*** slides.js	Wed Oct  6 19:58:30 2004
--- slides.js.new.js	Thu Oct  7 15:31:53 2004
***************
*** 32,37 ****
--- 32,58 ----
  	else return isParentOrSelf(element.parentNode, id);
  }
  
+ function nodeValue(node)
+ {
+ 	result = "";
+ 	
+ 	if (node.nodeType == 1)
+ 	{
+ 		var children = node.childNodes;
+ 
+ 		for ( i = 0; i < children.length; ++i )
+ 		{
+ 			result += nodeValue(children[i]);
+ 		}		
+ 	}
+ 	else if (node.nodeType == 3)
+ 	{
+ 		result = node.nodeValue;
+ 	}
+ 	
+ 	return(result);
+ }
+ 
  function slideLabel() {
  	var slideColl = GetElementsWithClassName('div','slide');
  	var list = document.getElementById('jumplist');
***************
*** 53,59 ****
  
  		var menunodes = menu.childNodes;
  		for (o = 0; o < menunodes.length; o++) {
! 			otext += menunodes[o].nodeValue;
  		}
  		list.options[list.length] = new Option(n+' : ' +otext,n);
  	}
--- 74,81 ----
  
  		var menunodes = menu.childNodes;
  		for (o = 0; o < menunodes.length; o++) {
! 			//otext += menunodes[o].nodeValue;
! 			otext += nodeValue(menunodes[o]);
  		}
  		list.options[list.length] = new Option(n+' : ' +otext,n);
  	}