// JScript File

function navOver(elem, color) { elem.style.backgroundColor = color; }
function navOut(elem, color) { elem.style.backgroundColor = color; }
function navUp(path) { location.href = path; }