/* Import Google Prompt font */
@import url('https://fonts.googleapis.com/css2?family=Prompt:wght@300;400;500;600;700&display=swap');

:root {
    --font-primary: 'Prompt', 'Segoe UI', Tahoma, Geneva, Verdana, sans-serif;
    --font-monospace: 'Consolas', monospace;

    --color-background: #f8f9fa;
    --color-white: #ffffff;
    --color-black: #000000;
    --color-text-dark: #212529;
    --color-border: #dee2e6;
    --color-border-light: #e7e7e7;
    --color-shadow: rgba(0, 0, 0, 0.1);

    --color-primary: #4361ee;
    --color-primary-hover: #3a56e4;
    --color-primary-gradient-start: #4361ee;
    --color-primary-gradient-end: #3a0ca3;

    --color-success: #28a745;
    --color-success-light: rgba(40, 167, 69, 0.1);
    --color-success-border: rgba(40, 167, 69, 0.3);
    --color-success-text: #155724;
    --color-success-shadow: rgba(40, 167, 69, 0.7);
    --color-success-highlight: rgba(40, 167, 69, 0.2);


    --color-danger: #dc3545;
    --color-danger-light: rgba(220, 53, 69, 0.1);
    --color-danger-border: rgba(220, 53, 69, 0.3);
    --color-danger-text: #721c24;
    --color-danger-shadow: rgba(220, 53, 69, 0.7);
    --color-danger-highlight: rgba(220, 53, 69, 0.2);


    --color-warning: #ffc107;
    --color-warning-shadow: rgba(255, 193, 7, 0.7);
    --color-warning-highlight: rgba(255, 193, 7, 0.2);


    --color-info: #0dcaf0;
    --color-info-highlight: rgba(0, 123, 255, 0.2); /* Assuming this was info/blue */
    --color-info-border: #007bff; /* From selected-cell */
    --color-info-shadow: rgba(0, 123, 255, 0.7); /* From selected-cell */

    --color-secondary-highlight: rgba(111, 66, 193, 0.2); /* Purple highlight */

    --border-radius-card: 10px;
    --border-radius-alert: 8px;
    --border-radius-input: 8px;
}

body {
    font-family: var(--font-primary);
    background-color: var(--color-background);
}
.container {
    max-width: 1200px;
    margin: 0 auto;
    padding: 20px;
}
.card {
    border-radius: var(--border-radius-card);
    box-shadow: 0 4px 6px var(--color-shadow);
    margin-bottom: 20px;
}

/* --- Header --- */
.header-section {
    background: linear-gradient(to right, var(--color-primary-gradient-start), var(--color-primary-gradient-end));
    color: var(--color-white);
    padding: 30px 0;
    border-radius: var(--border-radius-card);
    margin-bottom: 30px;
}

/* --- Tables (K-Map & Truth Table) --- */
.kmap-table, .truth-table {
    width: 100%;
    border-collapse: collapse;
    margin: 20px 0;
    table-layout: fixed;
    overflow: hidden; /* Keep this? Review if needed */
}
.kmap-table th, .kmap-table td {
    border: 1px solid var(--color-border);
    padding: 12px;
    text-align: center;
}

/* --- K-Map Cells --- */
.kmap-cell {
    width: auto;
    min-width: 60px;
    height: 60px;
    cursor: pointer;
    -webkit-user-select: none;
    user-select: none;
    transition: background-color 0.3s, border-color 0.3s, box-shadow 0.3s;
    overflow: hidden;
    text-overflow: ellipsis;
    position: relative; /* Needed for potential future absolute positioning inside */
}
.kmap-cell.selected-0 {
    background-color: var(--color-danger);
    color: var(--color-white);
}
.kmap-cell.selected-1 {
    background-color: var(--color-success);
    color: var(--color-white);
}
.kmap-cell.selected-x {
    background-color: var(--color-warning);
    color: var(--color-black);
}

/* Styles for selected cells (general) */
.kmap-cell.selected-cell {
    border: 3px solid var(--color-info-border);
    box-shadow: 0 0 10px var(--color-info-shadow);
    z-index: 10;
}

/* Style cells differently based on selection mode */
[data-mode="minterms"] .selected-cell.selected-1 {
    border-color: var(--color-success);
    box-shadow: 0 0 10px var(--color-success-shadow);
}
[data-mode="minterms"] .selected-cell.selected-x {
    border-color: var(--color-warning);
    box-shadow: 0 0 10px var(--color-warning-shadow);
}
[data-mode="maxterms"] .selected-cell.selected-0 {
    border-color: var(--color-danger);
    box-shadow: 0 0 10px var(--color-danger-shadow);
}
[data-mode="maxterms"] .selected-cell.selected-x {
    border-color: var(--color-warning);
    box-shadow: 0 0 10px var(--color-warning-shadow);
}

/* Style for truth table mode highlighting */
[data-mode="truthTable"] .kmap-cell.selected-1 {
    border: 2px solid var(--color-success);
}
[data-mode="truthTable"] .kmap-cell.selected-0 {
    border: 2px solid var(--color-danger);
}
[data-mode="truthTable"] .kmap-cell.selected-x {
    border: 2px solid var(--color-warning);
}

/* --- Truth Table Interaction --- */
.tt-clickable {
    cursor: pointer;
    position: relative;
    transition: all 0.2s ease;
}
.tt-clickable:hover {
    transform: scale(1.1);
    box-shadow: 0 0 5px rgba(0,0,0,0.2); /* Keep specific shadow? */
    font-weight: bold;
}
.tt-clickable:active {
    transform: scale(0.95);
}
.tt-clickable::after {
    content: '↺';
    position: absolute;
    top: 2px;
    right: 2px;
    font-size: 10px;
    opacity: 0.5;
}

/* --- Buttons --- */
.btn-primary {
    background-color: var(--color-primary);
    border-color: var(--color-primary);
}
.btn-primary:hover {
    background-color: var(--color-primary-hover);
    border-color: var(--color-primary-hover);
}
/* Styles for active tool buttons */
.btn-group .btn.active {
    filter: brightness(120%);
    transform: translateY(1px);
}
/* Make the selection tool more visible when active */
#selectTool.active {
    background-color: var(--color-info);
    color: var(--color-white);
    font-weight: bold;
}
/* Style for disabled features */
.btn:disabled {
    opacity: 0.6;
    cursor: not-allowed;
}
#useExpressionAnyway {
    transition: all 0.2s;
}
#useExpressionAnyway:hover {
    background-color: var(--color-warning);
    color: var(--color-text-dark);
}

/* --- Output/Display Areas --- */
#simplifiedExpression {
    font-family: var(--font-monospace);
    font-size: 1.2rem;
    padding: 15px;
    border-radius: var(--border-radius-input);
    background-color: var(--color-background);
    box-shadow: inset 0 0 5px var(--color-shadow);
    min-height: 60px;
    display: flex;
    align-items: center;
    overflow-x: hidden; /* Consider auto if needed */
    white-space: normal;
    word-wrap: break-word;
}
#groups {
    font-family: var(--font-monospace);
    line-height: 1.6;
    max-height: 200px;
    overflow-y: auto;
}
/* Style for selected cells display */
#selectedCells .badge {
    font-size: 0.9rem;
    padding: 0.5em 0.8em;
    max-width: 100%;
    overflow-wrap: break-word;
}

/* --- Group Highlighting --- */
.group-highlight-1 { background-color: var(--color-success-highlight); }
.group-highlight-2 { background-color: var(--color-info-highlight); }
.group-highlight-3 { background-color: var(--color-warning-highlight); }
.group-highlight-4 { background-color: var(--color-danger-highlight); }
.group-highlight-5 { background-color: var(--color-secondary-highlight); }

/* --- Mode Indicator --- */
#mode-indicator {
    font-size: 0.9rem;
    padding: 0.4em 0.7em;
    display: inline-block;
    margin-right: 10px;
}

/* --- Verification Results / Alerts --- */
.alert {
    border-radius: var(--border-radius-alert);
    padding: 15px;
    margin-bottom: 15px;
}
.alert-success {
    background-color: var(--color-success-light);
    border: 1px solid var(--color-success-border);
    color: var(--color-success-text);
}
.alert-danger {
    background-color: var(--color-danger-light);
    border: 1px solid var(--color-danger-border);
    color: var(--color-danger-text);
}
.alert h5 {
    margin-top: 0;
    margin-bottom: 8px;
    font-weight: bold;
}

/* --- Utility Classes --- */
.text-warning {
    color: var(--color-warning); /* Consider removing if Bootstrap provides this */
    font-weight: bold;
}
.text-muted {
    opacity: 0.5;
}

/* --- Table Responsiveness (Review if needed) --- */
/* These rules might hide content if table is wider than container */
.table-responsive {
    overflow-x: visible; /* Allows content to overflow */
    overflow-y: visible;
}
/* Ensure container has sufficient width */
.card-body .table-responsive {
    min-width: 100%; /* Ensures it takes at least full width */
    overflow: hidden; /* Hides overflow within card-body */
}

/* --- Footer --- */
.footer {
    border-top: 1px solid var(--color-border-light);
    font-size: 0.9em;
    padding-top: 15px; /* Added padding for spacing */
    margin-top: 30px; /* Added margin for spacing */
    text-align: center; /* Center footer text */
    color: #6c757d; /* Muted text color */
}