.page-container { 
    display: flex; 
    flex-direction: column; 
    min-height: 100vh;
    margin: 0;
    padding: 0;
}
.full-width {
    width: 100%;
}
.main-container { 
    display: flex; 
    flex: 1;
    margin: 0;
    padding: 0;
}
.left-column { 
    background-color: #f0f0f0; 
    width: 300px;
    padding: 0;
    flex-shrink: 0;
    height: 80%;
}
.middle-column {
    flex-grow: 0;
    flex-shrink: 0;
    padding: 10px;
    display: flex;
    flex-direction: column;
    height: 100%;
    width: auto;
}
.right-column {
    flex-grow: 0;
    padding: 10px;
    min-width: 600px;
}
.example-link { 
    display: block; 
    padding: 5px 5px 5px 15px;
    margin-left: 10px;
    text-decoration: none; 
    color: #333; 
}
.example-link.selected { 
    background-color: #ddd; 
    font-weight: bold; 
    color: #006d77; /* Dark teal color */
}
.example-link:not(.selected):hover { 
    background-color: #beb0b0; 
}
.header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 1rem;
    background-color: #f8f9fa;
    border-bottom: 1px solid #e9ecef;
}

#current-architecture {
    transition: all 0.3s ease;
}

.header h3 { 
    margin: 0; 
    font-family: cursive;
    font-style: italic;
    font-weight: 700;
    font-size: 1.8em;
    line-height: 50px;
}
.header a {
    font-size: 0.9em;
    text-decoration: none;
    color: #333;
    font-family: Arial, sans-serif;
    align-self: center;
}
.header a:hover {
    text-decoration: underline;
}
#dsl {
    width: 100%;
    height: 100%;
    box-sizing: border-box;
    margin: 0;
    padding: 10px;
}

body {
    margin: 0;
    padding: 0;
}

.tab-content {
    display: none;
    border: 1px solid #ccc;
    background-color: #fff;
}

.tab-content.active {
    display: block;
}

.code-generation-button.active {
    background-color: #e0f2f1;
    color: #000;
    font-weight: bold;
}

.code-generation-button.italic {
    font-style: italic;
    opacity: 0.8;
}

.toggle-buttons button {
    background-color: lightgray;
    border: 1px solid #a9a9a9;
    color: black;
    padding: 5px 10px;
    margin-right: 0.5rem;
    cursor: pointer;
    transition: background-color 0.3s, color 0.3s, font-weight 0.3s, border-color 0.3s;
}

/* CodeMirror styles */
.CodeMirror {
    height: 100% !important; /* Increase this value to make the editor taller */
    border: 1px solid #ccc;
    font-family: monospace;
    font-size: 14px;
    line-height: 1.5;
}

.CodeMirror-scroll {
    height: 100% !important;
    max-height: none;
}

.cm-s-default {
    height: 100%;
}

.cm-s-default .cm-keyword {
    color: #007bff;
}

.cm-s-default .cm-def {
    color: #00a86b;
}

.cm-s-default .cm-variable {
    color: #e83e8c;
}

.cm-s-default .cm-operator {
    color: #6f42c1;
}

.cm-s-default .cm-number {
    color: #fd7e14;
}

.cm-s-default .cm-string {
    color: #28a745;
}

.cm-s-default .cm-comment {
    color: #6c757d;
    font-style: italic;
}

.cm-left-margin-bold-green {
    color: #28a745;
    font-weight: bold;
}
.cm-left-margin-bold-magenta {
    color: #e83e8c;
    font-weight: bold;
}
.cm-right-arrow-green {
    color: #28a745;
}

.cm-text-blue {
    color: #007bff;
    font-weight: bold;
}

.cm-text-green {
    color: #28a745;
}
.cm-text-orange {
    color: #7d5509;
}
.cm-arrow-cyan {
    color: #007bff;
}
.cm-pale-pink {
    color: #ec9bc1;
}
.cm-magenta-bold {
    color: #9b34af;
    font-weight: bold;
}
#readme_content {
    max-height: 500px;
    overflow-y: auto;
    transition: max-height 0.3s ease-out;
}

#readme_content:empty {
    max-height: 0;
    padding: 0;
}

table {
    width: 100%;
    border-collapse: collapse;
}

th, td {
    padding: 8px;
    text-align: left;
    border-bottom: 1px solid #ddd;
}

form {
    display: flex;
    flex-direction: column;
    gap: 10px;
    max-width: 500px;
    margin: 0 auto;
}

input[type="text"], textarea {
    width: 100%;
    padding: 8px;
}

input[type="submit"] {
    background-color: #4CAF50;
    color: white;
    padding: 10px;
    border: none;
    cursor: pointer;
}

input[type="submit"]:hover {
    background-color: #45a049;
}

.error {
    color: red;
}

.message-area {
    padding: 10px;
    border-radius: 5px;
    margin-top: 10px;
}

.message {
    padding: 10px;
    border-radius: 5px;
}

.success {
    background-color: #d4edda;
    color: #155724;
    border: 1px solid #c3e6cb;
}

.warning {
    background-color: #fff3cd;
    color: #856404;
    border: 1px solid #ffeeba;
}

.info {
    background-color: #e6f7ff;
    color: #0c5460;
    border: 1px solid #bee5eb;
}

.error {
    background-color: #f8d7da;
    color: #721c24;
    border: 1px solid #f5c6cb;
}
/* CodeMirror Python syntax highlighting */
.cm-s-default .cm-keyword {color: #708;}
.cm-s-default .cm-atom {color: #219;}
.cm-s-default .cm-number {color: #164;}
.cm-s-default .cm-def {color: #00f;}
.cm-s-default .cm-variable {color: black;}
.cm-s-default .cm-variable-2 {color: #05a;}
.cm-s-default .cm-variable-3 {color: #085;}
.cm-s-default .cm-property {color: black;}
.cm-s-default .cm-operator {color: black;}
.cm-s-default .cm-comment {color: #a50;}
.cm-s-default .cm-string {color: #a11;}
.cm-s-default .cm-string-2 {color: #f50;}
.cm-s-default .cm-meta {color: #555;}
.cm-s-default .cm-qualifier {color: #555;}
.cm-s-default .cm-builtin {color: #30a;}
.cm-s-default .cm-bracket {color: #997;}
.cm-s-default .cm-tag {color: #170;}
.cm-s-default .cm-attribute {color: #00c;}
.cm-s-default .cm-header {color: blue;}
.cm-s-default .cm-quote {color: #090;}
.cm-s-default .cm-hr {color: #999;}
.cm-s-default .cm-link {color: #00c;}

.category-summary {
    padding-left: 16px;
    font-family: cursive;
    color: lightslategray;
}

:root {
    --pico-spacing: 10px; /* Set your preferred value */
}

.sub-button {
    margin-left: 20px;
    font-size: 0.9em;
    opacity: 0.9;
}

.main-buttons {
    display: flex;
    gap: 0;
    border-bottom: 1px solid #ccc;
    padding-left: 10px;
    position: relative;
    top: 1px;
}

.code-generation-button {
    border: 1px solid #ccc;
    border-bottom: none;
    padding: 8px 16px;
    background-color: #f0f0f0;
    position: relative;
    margin-right: -1px;
    border-radius: 8px 8px 0 0;
    cursor: pointer;
    transition: all 0.2s ease;
}

.code-generation-button:hover:not(.active) {
    background-color: #e0e0e0;
}

.code-generation-button.active {
    background-color: white;
    border-bottom: 1px solid white;
    z-index: 1;
    font-weight: bold;
}

.sub-buttons {
    display: flex;
    gap: 5px;
    margin-top: 20px;
    padding: 0 10px;
    background-color: white;
}

.code-generation-button.sub-button {
    background-color: #f8f8f8;
    border: 1px solid #ddd;
    border-radius: 4px;
    padding: 5px 10px;
    transition: all 0.2s ease;
}

.code-generation-button.sub-button:hover:not(.active) {
    background-color: #e8e8e8;
}

.code-generation-button.sub-button.active {
    background-color: #e6f3ff;  /* Light blue tint */
    border-color: #99c9ff;
    color: #0066cc;
    font-weight: bold;
    box-shadow: 0 1px 2px rgba(0,0,0,0.05);
}

.toggle-buttons {
    display: flex;
    flex-direction: column;
    gap: 10px;
}

/* Keep parent tab selected when sub-buttons are active */
.code-generation-button.active[id="reasoning_button"] {
    background-color: white;
    border-bottom: 1px solid white;
    z-index: 1;
    font-weight: bold;
}