/***
	
	functionaliteit om op een nette manier stijlbladklassen
	aan elementen toe te kunnen voegen en te verwijderen
	
***/

  //  
  // voeg een klasse toe aan een element  
  //  
	function voeg_klasse_toe(element,klasse){
		if(!heeft_klasse(element,klasse))element.className+=' '+klasse
	}
	
  //
  // verwijder een klasse van een element
  //
	function verwijder_klasse(element,klasse){
		element.className=element.className.replace(new RegExp('\\b'+klasse+'\\b'),'')
	}

  //
  // kijk of een element een klasse heeft
  //
	function heeft_klasse(element,klasse){
		return (new RegExp('\\b'+klasse+'\\b')).test(element.className)
	}
	
  //
  // wissel het actieve element in een unordered list
  // het element 'me' is een anchor waarop geklikt is
  //
	function hilite(me){
	
		var _ul = me.parentNode.parentNode
		var o = _ul.getElementsByTagName('A')
		
		for (i=0; i<o.length; i++) {
			verwijder_klasse(o[i],'actief')
		}
		
		voeg_klasse_toe(me,'actief')
	}
