tim@26: function displayOverlay() {
tim@26:     adjustOverlaySize();
tim@26:     showDiv("overlay");
tim@26:     showDiv("overlayContent");
tim@26: }
tim@26: 
tim@26: function adjustOverlaySize() {
tim@26:     var lHeight = document.getElementById("page").scrollHeight;
tim@26:     //alert(lHeight);
tim@26:     var lOverlay = document.getElementById("overlay");
tim@26:     lOverlay.style.height = lHeight + 'px';
tim@26: }
tim@26: 
tim@26: function showDiv(pName) {
tim@26:     var el = document.getElementById(pName);
tim@26:     el.style.visibility = (el.style.visibility == "visible") ? "hidden" : "visible";
ingo@697: }