/* nav menu for selecting different */
#table_select {
    display: inline-flex;
    border: inset grey 3px;
    margin: 0 0 0 1em;
}

#table_select > div:hover{
    background-color: #444;
    user-select: none;
}

#table_select > div, #table_select > a > div{
    padding: .5em .5em;
    font-family: monospace;
    cursor: pointer;
    text-decoration: none;
}

a {
    text-decoration: none;
    color: black;
}

.active {
    background-color: rgba(255, 217, 0, 0.5) !important;
    cursor: default !important;
}

.nav_hover:hover {
    background-color: rgba(103, 102, 101, 0.5) !important;
}

input{
    cursor: pointer;
}

#input_cluster {
    margin-bottom: .75em;
    padding: 0.25em;
    border: black 1px solid;
    
    width: fit-content;
}