.banner {
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    background-color: #6b6d77;
    color: white;
    padding: 30px 0;
    /*text-align: center;*/
    vertical-align: middle;
    /* z-index: 00; Ensure it's above other content */
}
.header {
    font-family: Arial, sans-serif;
    background-color: #454b66;
    color: #f4f4f4;
    margin: 0;
    padding: 0;
}
/* .footer {
    font-family: Arial, sans-serif;
    background-color: #383c58;
    color: #f4f4f4;
    margin-top: 100px;
    padding: 20px 0;
    width: 100%;
    text-align: center;
    flex-shrink: 0;
} */
.center-image {
    display: inline-block
}
.grey-hover:hover {
    filter: brightness(80%); /* Adjust brightness to make it light blue */
}


.array-container {
    margin-top: 200px;
    text-align: center;
}

.array-bar {
    display: inline-block;
    width: 20px;
    margin: 0 1px;
    background-color: #64b8f0;
    transition: background-color 0.5s ease; /* Add transition for smooth color change */
}


.array-bar.sorted {
    background-color: #2ecc71; /* Change color for nodes being swapped */
}

.array-bar.key {
    background-color: #ff0000; /* Change color for key node */
}

.array-bar.merge {
    background-color: #ffcc00; /* Change color for bars being merged */
}

.imgbutton {
    background-color: transparent;
    border: none;
    padding: 0;
}