find_selflink.js

   1 // From my own website(!)
   2 //TODO: only do this for links in the table of contents menu
   3
   4 function find_selflink() {
   5     var a = document.links;
   6     var i = 0;
   7     while (i < a.length) {
   8         if (a[i].href == document.URL) {
   9             var c;
  10             var j;
  11             var s_new = document.createElement("span");
  12             s_new.className = "currentlink";
  13             c = a[i].childNodes;
  14             for (j=0; j<c.length; j++) {
  15                 s_new.appendChild(c[j]);
  16             }
  17             a[i].parentNode.replaceChild(s_new, a[i]);
  18         } else {
  19             i++;
  20         }
  21
  22         /*
  23         if (a[i].href == document.URL) {
  24             a[i].className = "currentlink";
  25             if (0) {
  26                 var s_new = document.createElement("span");
  27                 s_new.className = "currentlink";
  28                 s_new.appendChild(a[i]);
  29                 a[i].parentNode.replaceChild(s_new, a[i]);
  30             }
  31         }
  32         i++;
  33         */
  34     }
  35 }
  36
  37 find_selflink();