function buttonMouseOver() {
    var e = event.srcElement;
    var tagName = e.tagName;
    var className = e.className;
    if (e.tagName == "SPAN" && className == "button") {
        e.style.top = 2;
        e.style.color = "red";
        e.style.borderLeft = "1px solid buttonhighlight";
        e.style.borderTop = "1px solid buttonhighlight";
        e.style.borderRight = "1px solid gray";
        e.style.borderBottom = "1px solid gray";
    }
}

function buttonMouseOut() {
    var e = event.srcElement;
    var tagName = e.tagName;
    var className = e.className;
    if (e.tagName == "SPAN" && className == "button") {
        e.style.top = 3;
        e.style.color = "black";
        e.style.borderLeft = "";
        e.style.borderTop = "";
        e.style.borderRight = "";
        e.style.borderBottom = "";
    }
}

function buttonMouseDown() {
    var e = event.srcElement;
    var tagName = e.tagName;
    var className = e.className;
    if (e.tagName == "SPAN" && className == "button") {
        e.style.top = 2;
        e.style.borderLeft = "1px solid gray";
        e.style.borderTop = "1px solid gray";
        e.style.borderRight = "1px solid buttonhighlight";
        e.style.borderBottom = "1px solid buttonhighlight";
    }
}

function buttonMouseUp() {
    buttonMouseOver();
}