/* Header CSS */
header {
    font-family: "Roboto Mono", monospace;
    font-optical-sizing: auto;
    font-weight: 600;
    font-style: normal;
    font-size: 14pt;

    background-color: #1e2030;

    height: 1.5rem;
    width: calc(100% - 1.5rem);

    margin-bottom: 0.25rem;
    margin-top: 0.5rem;
    padding: 0.5rem;
    border-width: 3px;
    border-style: solid;
    border-color: #c6a0f6;

    position: sticky;
    top: 0;

    display: flex;

    #hd-left {
        width: min-width;
        padding-left: 0.25rem;
        padding-right: 0.25rem;
        font-style: italic;
    }

    #hd-mid {
        width: 100%;
    }

    #hd-right {
        display: flex;
        width: fit-content;
        padding-left: 0.25rem;
        padding-right: 0.25rem;
    }

    .spacer {
        width: 2rem;
        display: block;
    }

    a {
        text-decoration: none;
        color: #cad3f5;
    }
}