var thisDoc = document;

//++
//   Note that the only whitepace allowed is essential
// e.g. space between keyword var and variable list
//
//   That's why write() is used instead of writeln():
// writeln() inserts a '\n' which is whitespace
//
//   Note that anything that could affect the browser through
//  a side-effect is enclosed inside void(...)
//--

thisDoc.writeln (' <p>'                                                );
thisDoc.write   ("  <a href=\'javascript:"                             );
thisDoc.write   (  'var i,a;'                                          );
thisDoc.write   (  'for(i=0;a=thisDoc.links[i];i++){'                  );
thisDoc.write   (    'if(a.href.substring(0,10)!="javascript"){'       );
thisDoc.write   (      'if(a.style.backgroundColor' + '&&'             );
thisDoc.write   (         'a.style.backgroundColor!="inherit"){'       );
thisDoc.write   (           'void(a.style.backgroundColor="inherit");' );
thisDoc.write   (           'void(a.style.color="inherit");'           );
thisDoc.write   (      '}else{'                                        );
thisDoc.write   (           'void(a.style.backgroundColor="#ff0");'    );
thisDoc.writeln (           'void(a.style.color="#006")}}}' + "\'"     );
thisDoc.write   ('  onmouseover="toggleLinkHighlighting()"'            );
thisDoc.writeln ('  onmouseout="toggleLinkHighlighting()"'             );
thisDoc.write   ('  onfocus="toggleLinkHighlighting()"'                );
thisDoc.writeln ('  onblur="toggleLinkHighlighting()"'                 );
thisDoc.writeln ('  class="favelet"'                                   );
thisDoc.writeln ('  >highlight links</a>'                              );
thisDoc.writeln (' </p>'                                               );


function toggleLinkHighlighting() {
  var i,a;
  for(i=0; a=document.links[i]; i++) {
    if (a.href.substring(0,10) != "javascript") {
      if (a.style.backgroundColor && a.style.backgroundColor != "inherit") {
        a.style.backgroundColor="inherit";
        a.style.color="inherit"
      } else {
        a.style.backgroundColor="#ff6";
        a.style.color="#006"
      }
    }
  }
}
/* EOF */