:root {
    --bg-dark: #1a1a2e;
    --bg-pane: #16213e;
    --text-light: #e0fbfc;
    --accent-primary: #00bfff; /* DeepSkyBlue */
    --accent-secondary: #32cd32; /* LimeGreen */
    --border-color: #0f3460;
    --error-color: #e94560;
}

body {
    font-family: 'Poppins', sans-serif;
    background-color: var(--bg-dark);
    color: var(--text-light);
    margin: 0;
    padding: 20px;
    display: flex;
    justify-content: center;
    align-items: center;
    min-height: 100vh;
}

.main-container {
    display: flex;
    width: 100%;
    max-width: 1400px;
    height: 90vh;
    background: var(--bg-pane);
    border-radius: 12px;
    box-shadow: 0 10px 40px rgba(0, 0, 0, 0.4);
    overflow: hidden;
    border: 1px solid var(--border-color);
}

.pane {
    padding: 30px;
    display: flex;
    flex-direction: column;
}

#input-pane {
    flex: 1;
    min-width: 350px;
    border-right: 2px solid var(--border-color);
    overflow-y: auto;
}

#output-pane {
    flex: 3;
    overflow-y: auto;
    background-color: #0c1324;
}

header {
    text-align: center;
    margin-bottom: 30px;
}

header h1 {
    color: var(--accent-primary);
    margin-top: 0;
}

.controls {
    display: flex;
    flex-direction: column;
    gap: 15px;
}

label {
    font-weight: 600;
    font-size: 1.1em;
}

#boolean-expression {
    padding: 12px;
    font-family: 'Roboto Mono', monospace;
    font-size: 1.2em;
    background-color: var(--bg-dark);
    border: 1px solid var(--border-color);
    color: var(--text-light);
    border-radius: 6px;
    outline: none;
    transition: border-color 0.3s, box-shadow 0.3s;
}

#boolean-expression:focus {
    border-color: var(--accent-primary);
    box-shadow: 0 0 10px var(--accent-primary);
}

.syntax-guide {
    background-color: rgba(0,0,0,0.2);
    padding: 15px;
    border-radius: 6px;
    font-size: 0.9em;
    border-left: 3px solid var(--accent-secondary);
}

.syntax-guide ul {
    margin: 5px 0 0 0;
    padding-left: 20px;
}

.syntax-guide code {
    font-family: 'Roboto Mono', monospace;
    background-color: var(--bg-dark);
    padding: 2px 5px;
    border-radius: 3px;
    color: var(--accent-secondary);
}

#solve-btn {
    padding: 12px 20px;
    font-size: 1.1em;
    font-weight: 600;
    font-family: 'Poppins', sans-serif;
    color: var(--bg-dark);
    background: var(--accent-primary);
    border: none;
    border-radius: 6px;
    cursor: pointer;
    transition: background-color 0.3s, transform 0.2s;
}

#solve-btn:hover {
    background: #00a8e0;
    transform: translateY(-2px);
}

#error-container {
    margin-top: 20px;
    color: var(--error-color);
    font-weight: 500;
    text-align: center;
}

#results-container {
    display: flex;
    flex-direction: column;
    gap: 30px;
}

.result-section {
    background-color: var(--bg-pane);
    padding: 20px;
    border-radius: 8px;
    border: 1px solid var(--border-color);
    overflow-x: auto;
}

.result-section h2 {
    margin-top: 0;
    color: var(--accent-primary);
    border-bottom: 2px solid var(--border-color);
    padding-bottom: 10px;
}

.placeholder {
    font-size: 1.2em;
    color: #888;
    text-align: center;
    margin-top: 40px;
}

/* Truth Table Styling */
#truth-table-container table {
    width: 100%;
    border-collapse: collapse;
    font-family: 'Roboto Mono', monospace;
    font-size: 1.1em;
}

#truth-table-container th, #truth-table-container td {
    border: 1px solid var(--border-color);
    padding: 10px;
    text-align: center;
}

#truth-table-container th {
    background-color: var(--border-color);
    color: var(--accent-primary);
}

#truth-table-container tr:nth-child(even) {
    background-color: #1c2a4a;
}
#truth-table-container .output-col {
    font-weight: bold;
    color: var(--accent-secondary);
}

/* K-Map and Circuit Styling */
#k-map-canvas, #circuit-canvas {
    background-color: var(--bg-dark);
    border-radius: 6px;
    border: 1px solid var(--border-color);
    display: block;
}

.kmap-legend {
    display: flex;
    flex-wrap: wrap;
    gap: 14px;
    margin-top: 14px;
    font-family: 'Roboto Mono', monospace;
    font-size: 0.95em;
}

.kmap-legend-item {
    display: inline-flex;
    align-items: center;
    gap: 6px;
}

.kmap-swatch {
    display: inline-block;
    width: 12px;
    height: 12px;
    border-radius: 3px;
}

/* Step-by-step simplification */
.simplify-container h3 {
    color: var(--accent-secondary);
    margin: 20px 0 8px 0;
    font-size: 1.05em;
}

.simplify-container h3:first-child {
    margin-top: 0;
}

.simplify-container p {
    margin: 6px 0;
    line-height: 1.5;
}

.simplify-container ul {
    margin: 6px 0;
    padding-left: 22px;
}

.simplify-container li {
    margin: 4px 0;
    font-family: 'Roboto Mono', monospace;
    font-size: 0.95em;
}

.simplify-container .final-eq {
    font-family: 'Roboto Mono', monospace;
    font-size: 1.3em;
    font-weight: 600;
    color: var(--accent-primary);
    background: rgba(0, 191, 255, 0.08);
    border-left: 3px solid var(--accent-primary);
    padding: 10px 15px;
    border-radius: 4px;
    display: inline-block;
}