// lib.js

// show the message in the browser status bar
function setStatus(msg) {
	window.status = msg;
}

// swap colors for button push
function pushButton(who) {
    who.style.color = "#880000";
    who.style.borderColor = "#880000";
    who.style.backgroundColor = "#EEEEEE";
}

// reset colors after button push
function releaseButton(who) {
    // who.style.color = "#0066AA";
    who.style.color = "#AA0000";
    who.style.borderColor = "#AA0000";
    who.style.backgroundColor = "#FFFFFF";
}

function gotoUrl(url) {
    window.location.href=url;
}