header.header {
    display: flex;
    align-items: center;
    justify-content: flex-start;  /* Align everything to the left */
    gap: 10px;                    /* Space between logo and button */
    padding: 10px 20px;
    width: 90%;
    margin-bottom: 10px;
    font-size: 30px;
    height: 50px;
}
div.header-section {
//    overflow: visible;
}
div.logo {
    cursor: pointer;
}
img.logo {
    height: 50px;
    width: 50px;
}

/* Navigation menu */
div.nav-menu-outer {
    position: relative; /* Prepares it to anchor the nav-menu */
    display: flex;
    flex-direction: column;
    align-items: flex-start;
    gap: 10px;
}
nav.nav-menu {
    position: absolute;
    top: 2em;
    left: -2em;
    width: 12em;
    background: linear-gradient(to bottom, #1f1f1f, #383838);
    transform: translateY(-20%);
    transition: transform 0.3s ease-in-out, opacity 0.3s ease-in-out;
    border-radius: 0 0 8px 8px;
    box-shadow: 0 4px 10px rgba(0, 0, 0, 0.5);
    z-index: 1000;
    pointer-events: none;
    opacity: 0;
}
nav.nav-menu.visible {
    transform: translateX(0);
    pointer-events: auto;
    opacity: 1;
}
nav.nav-menu a {
    display: block;
    font-size: 1.2rem;
    color: #f0f0f0; /* softer than pure white */
    padding: 12px 18px;
    margin: 6px 0;
    text-decoration: none;
    border-radius: 6px;
    transition: background-color 0.2s ease, color 0.2s ease;
}
nav.nav-menu a:hover {
    background-color: #333333;
    color: #4dd0e1;
    cursor: pointer;
}
nav.nav-menu a.active {
    background-color: #444;
    color: #4caf50; /* subtle green highlight */
    font-weight: bold;
}

button.menu-button {
    position: relative;
    cursor: pointer;
    padding: 0;
    margin-left: .75em;
    display: flex;
    justify-content: center;
    align-items: center;
    background: none;
    z-index: 1100;
    border: none;
    outline: none;
    width: 50px;
    height: 50px;
    overflow: visible;
    color: #f0f0f0; /* Matches light text on dark bg */
    transition: color 0.1s ease;
}
button.menu-button.active {
    color: #4dd0e1;
}
button.menu-button span {
    display: block;
    position: absolute;
    width: 32px;
    height: 4px;
    background: #ffffffcc;
    border-radius: 3px;
    opacity: 1;
    box-shadow: 0 0 4px rgba(255, 255, 255, 0.2);
    left: 0;
    transform: rotate(0deg);
    transform-origin: center;
    transition: transform 0.2s ease-in-out, opacity 0.1s ease-in-out;
}
button.menu-button span:nth-child(1) { top: 10px; }
button.menu-button span:nth-child(2) { top: 22px; }
button.menu-button span:nth-child(3) { top: 34px; }


/* When selected and the menu is visible. */
button.menu-button.active span:nth-child(1) {
    top: 22px;
    transform: rotate(45deg);
}
button.menu-button.active span:nth-child(2) {
    opacity: 0;
}
button.menu-button.active span:nth-child(3) {
    top: 22px;
    transform: rotate(-45deg);
}


div.tool-name {
    margin: 0 auto;
    width: 50%;
//    margin-left: 2%;
    color: lightblue;
}

div.user {
    float: right;
    margin-right: 2%;
}

a.profile {
    color: gold;
    text-decoration: none;
}

/* Navigation */
ul.navigation-hidden {
    width: 0;
    height: 0;
    visibility: hidden;
    opacity: 0;
    position: absolute;
}
ul.navigation-visible {
    visibility: visible;
    opacity: 1;
    transition: opacity 0.7s, visiblity 0.7s;
    position: absolute;
    left: 0;
    z-index: 100;
}
li.navigation {
    list-style-type: none;
    background: #555555;
    --height: 250%;
    --left: -100;
    padding: 10px;
    z-index: 20;
    display: block;

}
li.navigation:hover {
    color: gold;
    background-color: #888888;
}
li.navigation > a {
    text-decoration: none;
    color: yellow;

}
li.navigation > a:hover {
    color: orange;
    background-color: unset;
}
li.navigation.has-tooltip {
    /* Override tooltip settings: we don't want this here. */
    border-bottom: unset;
}
li.navigation.has-tooltip.login {
    border-top: 1px solid;
}

li.navigation > img.lock {
    height: 30px;
    weight: 30px;
    margin-right: 10px;
}