// This div is generated by header.tmpl; remove it to display only on mouseover
var popup = document.getElementById('rev-popup');
document.getElementById('wrapper').removeChild(popup);
popup.style.display = 'block';
// Add event listeners to display/hide the popup when hovering the revnum header
var revnum = document.getElementById('revnum');
addEvent(revnum, 'mouseover', function() {this.parentNode.appendChild(popup)});
addEvent(revnum, 'mouseout', function() {this.parentNode.removeChild(popup)});
function addEvent(obj, type, func) {
if (obj.addEventListener) {
obj.addEventListener(type, func, false);
return true;
} else if (obj.attachEvent) {
return obj.attachEvent('on'+type, func);
} else {
return false;
}
}