 document.getElementById(key).className = 'dep hilite';
      hilited.push(key);
      highlightDeps(key);
    }
  });
}

</script>


<div class="hover">selected item</div>
<div class="infile">...is in same file as the selected item</div>
<div class="hilite">...is a dependency of the selected item</div>
<div class="required">the selected item is a dependency of...</div>
</body>
</html>
