/* top_styles.css */
body {
    font-family: Roboto;
    font-size: 17px;
    background-color: white;
    color: black;
    margin-top: 0px;
    margin-bottom: 0px;
    margin-left: 0;
    margin-right: 0;
    padding: 0;
}

pre {
    font-size: 17px;
    font-family: Roboto;
    line-height: 1.6;
    margin-top: 5px;
    margin-bottom: 5px;
}

#container {
    display: flex;
    height: 100vh;
}

#menu {
    position: fixed;
    width: 100%;
    height: 70px;
    border-bottom: 1px solid #ccc;
    top: 0;
    z-index: 1000;
    font-family: Roboto;
    font-size: 20px;
    overflow-y: auto; /* add y-scrolling */
}

iframe {
    font-size: 17px;
}

#left-panel {
    position: sticky;
    width: 20%;
    background-color: #f4f4f4;
    color: darkblue;
    overflow-y: auto;
    border-right: 1px solid #ccc;
    padding: 0px;
    margin-top: 70px;
    margin-left: 10px;
    font-family: Roboto;
    font-size: 17px;
    list-style: none; /* Remove bullet points */
}

#left-panel a {
    color: darkblue; 
    font-family: Roboto;
    font-size: 20px; /* Or match the size you want */
    text-decoration: none; /* Remove underline, if you don't want it */
    display: block; /* Make the whole area clickable */
    padding: 8px 10px; /* Add padding for better hit area */
}

#left-panel a:hover {
    color: darkred; /* Or your desired hover color */
    text-decoration: underline; /* Add underline on hover, if you want */
    background-color: #e0e0e0; /* Optional: Add background on hover */
}


#right-panel {
    flex: 1;
    padding: 10px;
    overflow-y: auto;
    font-family: Roboto;
    font-size: 17px;
    margin-top: 70px;
    word-wrap: break-word;
    overflow-wrap: break-word;
}

ul {
    margin-left: 0;
    padding-left: 0;
    list-style: none;
    padding: 0;
}

li {
    margin: 5px 0;
}

a {
    <!--text-decoration: none;-->
    color: darkblue;
    font-family: Roboto;
    font-size: 20px;
}

a:hover {
    text-decoration: underline;
    color: darkred;
}

.submenu {
    display: none;
    padding-left: 17px;
}

.submenu li {
    margin: 1px 0; /* Adjust spacing between list items */
    font-family: Roboto;
    font-size: 17px;
}

.submenu li:hover {
    color: darkred; /* Color on hover */
}
.submenu li a {
    color: darkblue;
    font-family: Roboto;
    font-size: 20px;
    text-decoration: none; /* Remove underline */
    display: block; /* Make the whole area clickable */
    padding: 5px 10px; /* Add padding for better click area */
    
    position: relative; /* Needed for absolute positioning of ::before */
    padding-left: 25px; /* Add extra padding to the left for the bullet */
}

.submenu li a::before {
    content: "\2022";  /* Unicode character for a bullet \2022 (•) */
    position: absolute;
    left: 1px;       /* Adjust position as needed */
    top: 50%;
    transform: translateY(-50%); /* Vertically center the bullet */
    font-size: 20px;   /* Adjust bullet size if needed */
    color: inherit;    /* Inherit color from the link */
}
.submenu li a:hover {
    color: darkred;
    text-decoration: underline; /* Add underline on hover */
    background-color: #e0e0e0; /* Optional: Add background color on hover */
}
.menu-item {
    cursor: pointer;
    <!--font-weight: bold;-->
    font-family: Roboto;
    font-size: 20px;

}

nav {
    overflow: hidden;
    margin-left: 0;
    padding-left: 0;
    padding-bottom: 0;
    font-size: 17px;
    overflow-y: hidden; 
}

.menu {
    top: 0;
    display: flex;
    flex-wrap: wrap;
    justify-content: center;
    padding: 0px;
    z-index: 1000;
    <!--font-weight: bold;-->
    font-family: Roboto;
    font-size: 20px;
    margin-left: 0;
    padding-left: 0;
    padding-bottom: 0;
}

nav a {
    float: left;
    color: darkblue;
    text-align: center;
    padding: 14px 16px;
    text-decoration: none;
    font-family: Roboto;
    font-size: 20px;
    margin-left: 0;
    padding-left: 0;
}

nav a:hover {
    background-color: #ddd;
    color: black;
}

.example {
    color: darkblue;
    background-color: lightblue;
    font-family: Roboto;
    font-size: 17px;
    width: 70%;
    margin-top: 0px;
    margin-bottom: 0px;
    margin-left: 10px;
    width: fit-content;
}

.error {
    color: red;
    font-family: Roboto;
    font-size: 17px;
    width: fit-content;
    margin-left: 10px;
}

.image-container {
    position: relative;
    display: inline-block;
}

.text-overlay {
    position: absolute;
    bottom: 0px;  /*Adjust as needed */
    left: 50%;
    transform: translateX(-50%);
    background: rgba(0, 0, 0, 0.5); /* Optional background */
    color: white;
    font-family: Roboto;
    font-size: 26px;
    padding: 5px;
}



@media (max-width: 600px) {
/*
    #container {
        flex-direction: column;
    }

    #left-panel {
        width: 100%;
        position: relative;
    }
*/

#menu {
        height: auto; /* fixed height */
        overflow-y: auto; /* vertical scrolling */
    }

}


.download-container {
    text-align: center; /* Centers text and button */
    margin-top: 50px; /* Adjust spacing */
    font-family:Roboto;
    font-size:20px;
}

button {
    padding: 10px 20px;
    font-size: 18px;
    background-color: #007bff;
    color: white;
    border: none;
    cursor: pointer;
}

button:hover {
    background-color: #0056b3;
}

