/* ------------------------------------------------------------------------- */
/* --------------------------------- HEADER -------------------------------- */
/* ------------------------------------------------------------------------- */

#logo {
    flex-shrink: 0;
    margin-right: 10px;
}
#logo-xlim, #logo-diro {
    height: 20px;
    display: block;
    margin: 10px 0;
}

header {
    --header-color: var(--light-blue);
    background-color: var(--dark-color);
    color: var(--header-color);
    padding: 0px 10px;
    display: flex;
    gap: 10px;
    align-items: center;
    height: var(--header-height);
}
header a {
    color: var(--header-color);
}
header #input_surf {
    width: 50px;
}
header label {
    font-size: large;
    font-weight: 400;
}
header button, header select, header input {
    height: 25px;
    box-sizing: border-box;
    color: var(--header-color);
    background-color: var(--dark-color);
}
header select {
    max-width: 150px;
}
header button {
    background: none;
    border: var(--header-color) 1px solid;
    border-radius: 3px;
}
header button:hover {
    border-color: white;
    color: white;
}
header table {
    border-collapse: collapse;
    font-weight: 200;
}
header table td {
    padding: 6px;
    border: 1px solid gray;
}

header .vr {
    border-left: 1px solid var(--header-color);
    width: 0;
    margin: 0 10px;
    align-self: stretch;
}

/* ------------------------------------------------------------------------- */
/* ---------------------------- BUTTON CHOICES ----------------------------- */
/* ------------------------------------------------------------------------- */

.button_choices {
    text-align: center;
    width: 100%;
    margin: 10px;
}
.button_choices button {
    border: 1px solid black;
    border-radius: 3px;
    padding: 5px 10px;
    background: none;
}
.button_choices button.active {
    background-color: var(--xlim-color);
}
.button_choices button:not(.active):hover {
    background-color: var(--light-color);
}


/* ------------------------------------------------------------------------- */
/* ---------------------------- ERROR CONTROLS ----------------------------- */
/* ------------------------------------------------------------------------- */

#error_controls {
    position: absolute;
    bottom: 60px;
    right: 0;
    display: flex;
    gap: 10px;
}
#error_controls button {
    padding: 15px;
    font-size: 18px;
    font-weight: bold;
    border: 3px black outset;
    border-radius: 3px;
    width: 50px;
    text-align: center;
    cursor: pointer;
}


/* ------------------------------------------------------------------------- */
/* --------------------------------- FOOTER -------------------------------- */
/* ------------------------------------------------------------------------- */

footer {
    position: fixed;
    bottom: 10px;
    left: 10px;
    right: 10px;
    display: flex;
}
footer button {
    background-color: var(--light-color);
    border: 1px solid black;
    padding: 15px 30px;
    border-radius: 15px;
    cursor: pointer;
}
footer button:hover {
    background-color: var(--light-blue);
    color: white;
}