packages feed

Agda-2.6.2: src/data/JS/highlight-hover.js

// Copyright 2002-2010, Simon Marlow.  All rights reserved.
// https://github.com/haskell/haddock/blob/ghc-8.8/LICENSE
// Slightly modified by Tesla Ice Zhang

var highlight = function (on) {
  return function () {
    var links = document.getElementsByTagName('a');
    for (var i = 0; i < links.length; i++) {
      var that = links[i];

      if (this.href != that.href) {
        continue;
      }

      if (on) {
        that.classList.add("hover-highlight");
      } else {
        that.classList.remove("hover-highlight");
      }
    }
  }
};

window.onload = function () {
  var links = document.getElementsByTagName('a');
  for (var i = 0; i < links.length; i++) {
    var link = links[i];
    if (!link.hasAttribute("href")) continue;
    link.onmouseover = highlight(true);
    link.onmouseout = highlight(false);
  }
};