// See http://www.htmldog.com/articles/suckerfish/dropdowns/
// Internet Explorer doesn't support the :hover pseudo class, so
// explicitly label 'li' tags.
tempoOver = function() {
var sfEls = document.getElementById("nav").getElementsByTagName("LI");
for (var i = 0; i < sfEls.length; i++) {
sfEls[i].onmouseover = function() {
this.className += " over";
}
sfEls[i].onmouseout = function() {
this.className = this.className.replace(new RegExp(" over\\b"), "");
}
}
}
if (window.attachEvent) window.attachEvent("onload", tempoOver);
//
// Build a navigation list for the TEMPO pages at a node with id = "nav".
// Note: Because the Safari browser has a problem with padding and margins,
// add a leading space to sublists for better esthetics.
//
function buildMenuList() {
var text = "";
text += " - Home";
text += " ";
text += "
";
text += " - News
";
text += " - Research";
text += " ";
text += "
";
text += " - Publications
";
// to be found in /bibliography/...
text += " - Tools";
text += " ";
text += "
";
text += " - People";
text += " ";
text += "
";
text += "
";
var navNode = document.getElementById("nav");
navNode.innerHTML += text;
}
//
// Add what ever special message at a node with id = "specialHeaderMessage".
//
function addSpecialMessage() {
// Temporarily, add 'under construction' icon.
// addUnderConstructionIcon();
}
function addUnderConstructionIcon() {
//var text = "
";
//var specialMessageNode = document.getElementById("specialHeaderMessage");
//specialMessageNode.innerHTML += text;
}
// Downloading a large applet can take some time, and also requires the Java
// virtual machine to be loaded. MPEx is a signed applet, which will require
// user authorization. The idea here is to not impose all this on a visitor
// when the page is visited, but to wait until the applet is explicitly sought.
//
// The parameters should be pretty self-explanatory. oldNodeId should represent a
// string which will identify and html element with document.getElementById().
var replacedTheAppletAlready = false;
function replaceWithApplet(oldNodeId, appletClass, appletCodebase, appletArchive, appletHeight, appletWidth, appletTextElem) {
if (replacedTheAppletAlready) return;
document.onclick = null;
// Structure of replacement code based on what HtmlConverter does
// to applet tags (see below):
var text = "";
var newChild = document.createElement("div");
newChild.innerHTML += text;
newChild.style.border = "0";
// Can't just replace the old child, because that's where the call to this function
// originated, so just hide it after adding the new one.
//var oldChild = document.getElementById("htmlButton");
var oldChild = document.getElementById(oldNodeId);
oldChild.parentNode.insertBefore(newChild, oldChild);
oldChild.style.display = "none"; // Make the original image disappear.
replacedTheAppletAlready = true;
}