var currentDiv = 0 ;
var currentNode = 0 ;
var currentClass = 0 ;

function showgl(url) {
  location.href=url ;
}
function expand_to(elt) {
  var p = elt.parentNode ;
  if ( p.id != "dom" ) {
    expand_to(p) ;
  }
  if ( p.id.substring(0, 1) == "x" ) {
    p.className = "opened" ;
  }
}
function highlight(nodeId, divid) {
  if ( currentDiv ) {
    document.getElementById(currentDiv).className = currentClass ;
  }
  if ( currentNode ) {
    currentNode.className = "off" ;
  }
  nodeId.className = "selected" ;
  currentNode = nodeId ;
 
  var docnodes = document.getElementsByTagName("dl") ;
  for ( var i = 0 ; i < docnodes.length ; ++i ) {
    docnodes.item(i).className = "collapsed" ;
  }
  var elt = document.getElementById(divid) ;
  expand_to(elt) ;

  elt.className = "highlighted" ;

  currentDiv = divid ;
  return true ;
}
function toggle(id) {
  var el = document.getElementById(id) ;
  var state = el.className ;
  if ( state == "collapsed" ) {
    el.className = "opened" ;
/* CoLlapse children */
  } else {
    el.className = "collapsed" ;
  }
}
var currentmsg = 0 ;
function showmsg(id) {
  if ( currentmsg )
	 toggle(currentmsg) ;
  if ( currentmsg == id ) {
	currentmsg = 0 ;
//	document.getElementById("status").disabled = true ;
//	document.getElementById("comment").disabled = true ;
  } else {
	toggle(id) ;
	currentmsg = id ;
//	setform(id) ;
  }
  return false ;
}

function selectwidget(id) {
  document.write( '<select id="s' + id + '" name="s' + id + '">'
	+ '<option value="Not checked">Not checked</option>'
	+ '<option value="Guideline set aside">Guideline set aside</option>'
	+ '<option value="Action required">Action required</option>'
	+ '<option value="Review required">Review required</option>'
	+ '<option value="Not applicable">Not applicable</option>'
	+ '<option value="Guideline satisfied">Guideline satisfied</option>'
	+ '</select>'
  ) ;
}
function commentwidget(id) {
  document.write( '<input  size="30" id="c' + id + '" name="c' + id + '">') ;
}
function hiddenwidgets(letter, gl, frag, msg) {
  document.write( '<input type="hidden" name="' + letter + gl + '" value="'
	+ msg + '">' + '<input type="hidden" name="h' + gl +
	'" value="http://www.w3.org/TR/WCAG10/' + frag + '">' ) ;
}