body {
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
    margin: 0;
    padding: 0;
    display: flex;
    flex-direction: column;
    height: 100vh;
    overflow: hidden; /* Prevent scrollbars on body */
    background-color: #f8f8f8; /* Light background */
    color: #333; /* Dark text */
}

#menu-bar {
    display: flex;
    align-items: center;
    padding: 10px;
    background-color: #e0e0e0; /* Light grey for menu bar */
    border-bottom: 1px solid #ccc;
    min-height: 40px;
}

#menu-items {
    display: flex;
    flex: 1 1 auto;
    align-items: center;
    min-width: 0;
}

#menu-bar button {
    margin-right: 10px;
    padding: 8px 15px;
    border: 1px solid #a0a0a0;
    border-radius: 4px;
    background-color: #c0e0ff; /* Cheerful blue */
    color: #333;
    cursor: pointer;
    font-size: 0.875em;
}

#menu-bar button:hover:not(:disabled) {
    background-color: #90c0ff;
}

#menu-bar button:disabled {
    background-color: #e0e0e0;
    color: #999;
    cursor: not-allowed;
}


.menu-label {
    margin-right: 10px;
}


#main-content {
    display: flex;
    flex-grow: 1;
    overflow: hidden;
}

.gutter-horizontal {
    cursor: grab;
}

.pane {
    box-sizing: border-box;
    min-width: 0;
    padding: 10px;
    border: 1px solid #eee;
    overflow: auto;
    background-color: #ffffff; /* White background for panes */
}

#editor-pane {
    flex-grow: 1;
}

/* File Tree Styling */
#file-tree-pane {
    padding: 10px 0;
    min-width: 0;
    border-inline: 0;
}

#info-pane {
    flex-grow: 1;
    display: flex;
    flex-direction: column;
}

#info-tabs {
    display: flex;
    gap: 3px;
    padding: 6px 6px 0;
    border-bottom: 1px solid #ccc;
    background-color: #f0f0f0;
    flex-shrink: 0; /* Prevent tabs from shrinking */
}

#info-content {
    flex-grow: 1;
    min-height: 0;
    display: flex;
    flex-direction: column;
    overflow: hidden;
}

.tab-button {
    margin-bottom: -1px;
    padding: 8px 14px;
    cursor: pointer;
    border: 1px solid transparent;
    border-bottom-color: #ccc;
    border-radius: 4px 4px 0 0;
    background-color: #e0e0e0;
    color: #555;
    font: inherit;
}

.tab-button:hover:not(.active) {
    background-color: #d7e7f7;
    color: #333;
}

.tab-button.active {
    background-color: #fff;
    border-color: #bbb #bbb #fff;
    color: #222;
    font-weight: 600;
    box-shadow: inset 0 2px #5795ce;
}

.tab-button:focus-visible {
    outline: 2px solid #5795ce;
    outline-offset: 1px;
}

.tab-content {
    display: none;
    flex-grow: 1;
    min-height: 0;
    overflow: auto;
}

.tab-content.active {
    display: flex; /* Use flexbox for active tab content */
    flex-direction: column;
}

#instructions-tab-content {
    overflow-y: auto;
    flex-shrink: 1;
}


#vm-tab-content {
    min-height: 0;
    overflow: hidden;
}

#vm-boot-button {
    flex-shrink: 0;
    width: 10em;
    margin-left: auto;
    margin-right: 0;
}

#vm-terminal {
    min-height: 0;
    flex-grow: 1;
    overflow: hidden;
}

pre {
    white-space: pre-wrap;
    word-wrap: break-word;
    background-color: #f0f0f0;
    padding: 10px;
    border-radius: 4px;
    border: 1px solid #ddd;
}

#editor-pane .cm-editor {
    height: 100%;
}

#editor-pane .cm-scroller {
    overflow: auto;
}