#header {
    margin-top: 25px;
    display: flex;            
    align-items: center;      
    justify-content: space-between; 
    width: 100%;
    height: 100px;
    background-color: rgb(26, 47, 88);
    color: white;
    text-align: center;
    font-size: 24px;
    font-family: 'Arial, sans-serif';
    box-shadow: 0 4px 8px rgba(0, 0, 0, 0.2);
    position: sticky;       /* Make the header stick to the top when scrolling */
    top: 0;                 /* Position it at the top */
    z-index: 1000;
    border-radius: 10px;
}

.dropdown {
    margin-left: 20px;
    font-size: 20px;
}

.dropdown:hover {
    font-size: 16px;
    text-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
    transform: scale(1.10); 
}


/* Style the dropdown container */
.dropdown {
    position: relative;
    display: inline-block;
}

/* Style the dropdown button */
.dropdown button {
    color: white;
    padding: 10px 20px;
    font-size: 16px;
    border: none;
    cursor: pointer;
}

/* Style the dropdown content */
.dropdown-content {
    display: none;
    position: absolute;
    background-color: #f9f9f9;
    min-width: 160px;
    box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
    z-index: 1;
}

/* Style the links inside the dropdown */
.dropdown-content a {
    color: black;
    padding: 12px 16px;
    text-decoration: none;
    display: block;
}

/* Change color of dropdown links on hover */
.dropdown-content a:hover {
    background-color: #e1e1e1;
}

/* Show the dropdown menu on hover */
.dropdown:hover .dropdown-content {
    display: block;
}

/* Style the disabled link */
.dropdown-content a.disabled {
    color: gray;
    pointer-events: none; /* Disable clicking */
}

/* Show the dropdown content on hover */
.dropdown:hover .dropdown-content {
    display: block;
}

/* New styles to show dropdown when the 'show' class is added */
.dropdown-content.show {
    font-size: 16px;
    display: block;
}

.shaded {
    background-color: rgba(34, 61, 116, 0.106);
    border: 1px solid grey;
    box-shadow: 0 2px 4px rgba(0, 0, 0, 0.1); 
  }
  

#lambdaLetters {
    display: block;
    height: 100px;
    width: 300px;
    margin-left: auto;
    margin-right: auto;
    margin-top: auto;
    margin-bottom: auto;
    padding-right: 50px;
    text-align: center;
}

.bar {
    width: 25px;              
    height: 3px;              
    background-color: white;  
    margin: 4px 0;            
}