/* ++
Tabs control
-- */

div.tabs div.nav-bar {
    background-color: var(--menu-background-color);
}

    div.tabs div.nav-bar button {
        padding-left: 13px;
        padding-right: 13px;
        padding-top: 13px;
        padding-bottom: 13px;
        border: none;
        font-family: 'roboto',Arial;
        font-size: 110%;
        margin-right: 1px;
    }

        div.tabs div.nav-bar button:not(.disabled):not(.selected) {
            cursor: pointer;
            background-color: var(--menu-background-color);
            color: #ffffff;
        }

            div.tabs div.nav-bar button:not(.disabled):not(.selected):hover {
                background-color: var(--menu-selected-color);
                color: #ffffff;
            }

        div.tabs div.nav-bar button.selected {
            background-color: var(--menu-selected-color);
            color: #ffffff;
        }

div.tabs div.tab {
    padding: 10px;
    border: 1px solid var(--menu-background-color);
}