.container {
    display: flex;
    flex-direction: column;
    height: 100vh;
    margin: 0;
    padding: 2px 10px 10px 10px;
}

.header {
    flex-shrink: 5;
    text-align: center;
    font-family: "Segoe UI", Roboto, Tahoma, Geneva, Verdana, sans-serif;
    display: flex;
    flex-direction: row;
    flex-wrap: nowrap;
    align-items: center;
}

.header * {
    margin: auto 0;
}

.header a:active,
.header a:visited,
.header a {
    color: var(--repl-color);
    text-decoration: underline;
    font-size: 0.9em;
}

.header a:hover {
    color: var(--repl-color-link);
}

.header .divider {
    color: var(--repl-color);
    margin: 0 5px;
    font-size: 1.1em;
}

.header .spacer {
    flex-grow: 1;
}

.iconLink {
    cursor: pointer;
    font-size: 1.6em;
    padding-top: 0.3em;
}

.tooltip {
    position: relative;
    display: inline-block;
}

.tooltip .tooltiptext {
    visibility: hidden;
    width: 140px;
    background-color: #333;
    color: var(--repl-color);
    text-align: center;
    border-radius: 6px;
    padding: 5px 0;
    position: absolute;
    z-index: 1;
    top: 125%;
    left: 50%;
    margin-left: -70px;
    opacity: 0;
    transition: opacity 0.1s;
}

.tooltip .tooltiptext::before {
    content: "";
    position: absolute;
    bottom: 100%;
    left: 50%;
    margin-left: -5px;
    border-width: 5px;
    border-style: solid;
    border-color: transparent transparent #333 transparent;
}

.tooltip:hover .tooltiptext {
    visibility: visible;
    opacity: 1;
}