:root {
    --bg-color: #111216;
    --fg-color: #b9b3aa;

    --input-bg-color: #15181b;
    --input-border-color: #756c60;

    --button-bg-color: #00306d;
    --button-fg-color: #ffffff;
    --button-hover-bg-color: #3257a7;

    --button-clear-bg-color: #3e1e18;
    --button-clear-hover-bg-color: #7a3a2e;

    --tooltip-bg-color: #3f444f;
    --tooltip-fg-color: #ffffff;

    --var-lib-key-color: #74b7ff;
}

html {
    color-scheme: dark !important;
}

body {
    margin: 0;
    padding: 2em;

    background-color: var(--bg-color);
    color: var(--fg-color);

    text-align: center;
    font-family: "Courier New", Courier, monospace;
}

h1 {
    margin-bottom: 0.5em;
    font-size: 2.5em;
}

p {
    margin-bottom: 2em;
}

label {
    cursor: pointer;
}

.menu {
    margin-bottom: 2em;

    display: flex;
    justify-content: center;
    gap: 2em;
}

.menu-item {
    position: relative;

    display: flex;
    align-items: center;
    gap: 0.5em;
}

.button-wrapper {
    position: relative;

    display: inline-block;
}

.menu-item:hover .tooltip,
.button-wrapper:hover .tooltip {
    visibility: visible;
    opacity: 1;
}

input[type="checkbox"] {
    accent-color: var(--button-bg-color);
}

.tooltip {
    width: 200px;
    position: absolute;
    z-index: 1;

    visibility: hidden;
    opacity: 0;
    transition: opacity 0.3s;

    background-color: var(--tooltip-bg-color);
    color: var(--tooltip-fg-color);

    text-align: center;
    border-radius: 6px;

    padding: 5px;
    bottom: 125%;
    left: 50%;
    transform: translateX(-50%);
}

.lambda-body {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 1em;
}

#lambda-inp {
    width: 50%;
    padding: 0.5em;

    border: 1px solid var(--input-border-color);
    border-radius: 5px;

    background-color: var(--input-bg-color);
    color: var(--fg-color);

    font-size: 1.2em;
}

.lambda-display {
    width: 100%;
    display: flex;
}

#lambda-terms {
    width: 100%;
    margin-top: 1em;
    margin-bottom: 1em;
}

.term {
    margin-bottom: 0.5em;
    font-size: 1.5em;
}

button {
    padding: 0.5em 1em;

    background-color: var(--button-bg-color);
    color: var(--button-fg-color);

    border: none;
    border-radius: 5px;

    font-size: 1em;
    cursor: pointer;

    transition: background-color 0.3s;
}

button:hover {
    background-color: var(--button-hover-bg-color);
}

.button-clear {
    background-color: var(--button-clear-bg-color);
}

.button-clear:hover {
    background-color: var(--button-clear-hover-bg-color);
}

.var-lib-container {
    position: sticky;
    top: 1em;

    display: flex;
    flex-direction: column;

    height: 90vh;
    width: 35%;
    min-width: 35%;
}

#var-lib-panel {
    height: 100%;
    overflow-y: auto;

    background-color: var(--input-bg-color);

    padding: 1em;

    border: 1px solid var(--input-border-color);
    border-radius: 5px;
}

.var-lib-item {
    margin-bottom: 0.5em;

    text-align: left;
    font-size: 0.9em;
}

.var-lib-key {
    color: var(--var-lib-key-color);

    font-weight: bold;
}

.var-lib-value {
    color: var(--fg-color);
}

.var-lib-buttons-container {
    display: inline-flex;
    width: 100%;

    margin-top: 0.5em;
    gap: 0.5em;
}

.var-lib-buttons-container .button-wrapper,
.var-lib-buttons-container button {
    width: 100%;
}

#popup {
    opacity: 1;

    position: fixed;
    top: 0;
    left: 70%;
    right: 0;
    border-radius: 0 0 0 1em;
    padding: 1em;

    background-color: var(--button-clear-bg-color);
    color: var(--fg-color);

    text-align: center;
    transition: opacity 0.5s;
}

#popup.hidden {
    opacity: 0;
}