tools/nunitreport/Media/scripts.js

   1 function toggle (name)
   2 {
   3     var element = document.getElementById (name);
   4
   5     if (element.style.display == 'none')
   6         element.style.display = '';
   7     else
   8         element.style.display = 'none';
   9 }
  10
  11 function highlight (element)
  12 {
  13     element.style.background = "#eee";
  14 }
  15
  16 function unhighlight (element)
  17 {
  18     element.style.background = "none";
  19 }
  20