// This div is generated by header.tmpl; remove it to display only on mouseovervar 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 headervar 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;}}