const LinkState = {clicked: false};

// FIXME: css...
function link_over(element) {
    element.style.cursor = LinkState.clicked
        ? "default"
        : "pointer";
}

function link_out(element) {
    // KTHXBYE!
}

function click_link(element, href) {
    if (LinkState.clicked) {
        return false;
    }
    LinkState.clicked = true;
    if (href) {
        const sectionTab = document.getElementById("sectionTab");
        document.location.href = sectionTab
            ? LinkUtils_addParameter(href, "sectionTab", sectionTab.value)
            : href;
    }
}

function Bouton(outColor, overColor, outBgColor, overBgColor) {
    this.out = new Style(outColor, outBgColor, "default");
    this.over = new Style(overColor, overBgColor, "pointer");
}

function Style(color, bgColor, cursor) {
    this.color = color;
    this.bgColor = bgColor;
    this.cursor = cursor;
}