/* Seems a little silly to include MooTools for such a small amount of JS. */
var links = document.getElementsByTagName('a');
for (var i = 0;i < links.length;i++) {
	if (links[i].className == "footnote") {
		links[i].onclick = function() {
			var footnote = this.href.match(/#(.*)$/)[1];
			var lis = document.getElementsByTagName('li');
			for (var i = 0;i < lis.length;i++) {
				if (lis[i].className == 'active') { lis[i].className = ''; }
			} document.getElementById(footnote).className = 'active';
		};
	}
}