annot.js

$(function(){
    var declAttribute="data-decl"; // the attribute that we use for annotation of declarations
    var drefAttribute="data-dref"; // the attribute that we use for annotation for declaration references

    // given an element, find the element it defines
    // has to be of the form #id
    var getDeclElement = function(elem){
        var value = $(elem).attr(drefAttribute);
	var declElement="*["+declAttribute+"='"+ value + "']";
//	console.log("DeclElement=" + declElement);
        return $(declElement);
    }

    // find all elements that have the attribute
    // and add hover(enterHandler, leaveHandler) handlers
    $("*["+drefAttribute+"]").hover(
	function(){getDeclElement(this).css("background-color", "orange");},
	function(){getDeclElement(this).css("background-color", "");}
    );
})