.header
{
    width: 100%;
    color: var(--header-foreground-color);
    background-color: var(--header-background-color);
    font-family: var(--heading-font-family);
    font-size: var(--header-font-size);
    font-weight: bold;
    height: var(--header-height);
}

.header-content-column
{
    position: relative;
}

.header *
{
    color: var(--header-foreground-color);
    font-size: var(--header-font-size);
    text-decoration: none;
    font-family: var(--heading-font-family);
    font-weight: bold;
}

.header-top
{
    width: 100%;
    padding: var(--spacing-2x);
    padding-bottom: 0;
    display: flex;
    justify-content: space-between;
    align-items: center;
}

.header-top-logo
{
    height: 60px;
}

.header-top-logo *
{
    height: 60px;
    max-height: 100%;
}

.header-top-name
{
    height: 100%;

    margin-right: auto;
    margin-left: var(--spacing-2x);
    font-size: var(--title-font-size) !important;
    padding-top: var(--spacing);
    padding-bottom: var(--spacing);
    padding-right: var(--spacing);

}

.header-top-name span
{
    font-size: var(--title-font-size) !important;
}

.header-top-right
{
}

.header-top-right > a
{
    float: right;
}

.nav-search form
{
    display: flex;
    justify-content: stretch;
}

.nav-search form *
{
    color: black;
    margin-bottom: calc(var(--spacing) * 0.5);
    height: 28px;
}

.nav-search form input[type="text"]
{
    padding-left: 5px;
    background-color: var(--header-foreground-color);
    border-color: var(--header-foreground-color);
    border-style: solid;
    min-width: 200px;
    flex: 1;    

}

.nav-search form input[type="submit"]
{
    background-color: var(--top-nav-active-background-color);
    border-color: var(--top-nav-active-background-color);
    width: var(--top-nav-search-button-width);
    border-width: thin;
    border-style: solid;
    cursor: pointer;
}

.nav-search form input[type="submit"]:hover
{
    background-color: var(--header-hover-color);
    border-color: var(--header-hover-color);
    color: var(--header-foreground-color);
}

.logo-dark
{
    filter: brightness(0);
}

.header-hamburger
{
    display: none;
    background: rgba(255, 255, 255, 0.2);
    margin-left: auto;
    width: 60px;
    min-width: 60px;
    height: 60px;
    padding: var(--spacing);
    padding-top: calc(1.5 * var(--spacing));
    padding-bottom: calc(1.5 * var(--spacing));
    flex-direction: column;
    justify-content: space-between;

    cursor: pointer;
}

.header-hamburger:hover
{
    background: rgba(255, 255, 255, 0.35);
}

.header-hamburger > span
{
    height: 6px;
    width: 100%;
    background: var(--header-foreground-color);
    display: block;
}