body {
    margin: 0;
    font-family: 'Nova Square', sans-serif;
    overflow: hidden; /* Hide scrollbars on the body */
}

.editor-container {
    padding: 20px;
}

#code-editor-container {
    position: relative;
    width: 100%;
    height: calc(100vh - 40px);
    overflow-y: auto; /* Show scrollbar on the text editor container */
}

#code-editor {
    width: 100%;
    height: 100%;
    resize: none; /* Disable resizing */
    font-family: 'JetBrains Mono', monospace;
    font-size: 16px;
}

#code-editor .current-line-indicator {
    background-color: #e0e0e0;
}

button {
    margin-top: 10px;
    margin-right: 10px;
    padding: 5px 10px;
    cursor: pointer;
}

/* Styles for the File dropdown */
.top-nav {
    background-color: #3498db;
    overflow: hidden;
}

.dropdown {
    float: left;
    overflow: hidden;
}

.dropdown .dropbtn {
    font-size: 16px;
    border: none;
    outline: none;
    color: white;
    padding: 14px 16px;
    background-color: inherit;
    font-family: inherit;
    margin: 0;
}

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

.dropdown-content button {
    float: none;
    display: block;
    text-align: left;
    width: 100%;
    padding: 12px 16px;
    border: none;
    background-color: transparent;
    cursor: pointer;
    transition: background-color 0.3s;
}

.dropdown-content button:hover {
    background-color: #ddd;
}

.dropdown:hover .dropdown-content {
    display: block;
}