.allTenLabel {
    color: white;
    font-size: 16px;
    font-family: Consolas;
    height: 50px;
    padding-right: 10px;
    text-align: left;
}

.numberSelection {
    padding-right: 10px;
}

.numberSelectBox {
    background-color: #636363;
    color: white;
    font-family: Consolas;
    font-size: 20px;
    height: 36px;
    width: 50px;
}

.numberSelectBox_Error {
    background-color: indianred;
    color: white;
    font-family: Consolas;
    font-size: 20px;
    height: 36px;
    padding: 0px 8px;
    text-align: right;
    text-transform: uppercase;
    width: 50px;
}

.numberSelectBox2 {
    background-color: #636363;
    color: white;
    font-family: Consolas;
    font-size: 20px;
    height: 36px;
    width: 80px;
}

.numberSelectBox2_Error {
    background-color: indianred;
    color: white;
    font-family: Consolas;
    font-size: 20px;
    height: 36px;
    padding: 0px 8px;
    text-align: right;
    text-transform: uppercase;
    width: 80px;
}

.operatorSelectBox {
    background-color: #8C8C8C;
    color: white;
    font-family: Consolas;
    font-size: 22px;
    height: 35px;
    padding: 0px 4px;
    width: 100px;
}

.operatorSelectBox_Error {
    background-color: indianred;
    color: white;
    font-family: Consolas;
    font-size: 22px;
    height: 26px;
    padding: 0px 4px;
    width: 50px;
}


/*******************/
/* Checkbox slider */
/*******************/
.switch-text {
    position: relative;
    display: inline-block;
    width: 60px;
    height: 20px;
    font-family: sans-serif;
}

    .switch-text input {
        opacity: 0;
        width: 0;
        height: 0;
    }

.slider-text {
    position: absolute;
    cursor: pointer;
    inset: 0;
    background-color: #ccc;
    border-radius: 34px;
    transition: 0.3s;
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 0 8px;
    color: white;
    font-size: 10px;
}

    /* The knob */
    .slider-text::before {
        content: "";
        position: absolute;
        height: 13px;
        width: 13px;
        left: 3px;
        bottom: 3px;
        right: 3px;
        background-color: white;
        border-radius: 50%;
        transition: 0.3s;
    }

    /* Default (OFF) state */
    .slider-text .yes {
        opacity: 0;
    }

    .slider-text .no {
        opacity: 1;
    }

/* When checked */
.switch-text input:checked + .slider-text {
    background-color: #4CAF50;
}

    /* Move knob right when checked */
    .switch-text input:checked + .slider-text::before {
        transform: translateX(40px);
    }

    /* Swap text visibility */
    .switch-text input:checked + .slider-text .yes {
        opacity: 1;
    }

    .switch-text input:checked + .slider-text .no {
        opacity: 0;
    }

/*************************/
/* Checkbox slider [END] */
/*************************/

.result-nav {
    display: flex;
    gap: 0.3rem;
    list-style: none;
    padding: 0;
}

    .result-nav a {
        background-color: #303030;
        border: 1px solid darkgray;
        border-radius: 0.2rem;
        color: white;
        font-weight: bolder;
        padding: 0.1rem 0.3rem;
        text-decoration: none;
    }

    .result-nav a.active {
        background-color: #303030;
        border-color: #222;
        color: yellow;
        font-weight: bolder;
    }

.result-table {
    border-collapse: collapse;
}

    .result-table th {
        background-color: #222;
        color: yellow;
        font-size: 14px;
        font-weight: bolder;
        text-align: center;
    }

    .result-table td {
        border: 1px solid #222;
        color: lightgray;
        font-family: 'Courier New';
        font-size: 12px;
        font-weight: normal;
    }