/* =================================================================
   tools/bool-simplify.css
   Auto-extracted from math.css (2026-05-11).
   Loaded via config/js-manifest.php → templates/partials/head-styles.php.
   ================================================================= */

/* =================================================================
   BOOLEAN SIMPLIFIER — quick example buttons
   ================================================================= */
.math-bool-examples {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 8px;
    margin-top: 12px;
    padding: 10px 12px;
    background: var(--math-surface-alt);
    border: 1px dashed var(--math-border);
    border-radius: var(--math-radius-sm);
}

.math-bool-examples-label {
    font-size: 12px;
    color: var(--math-text-muted);
    font-weight: 600;
    margin-right: 4px;
}

.math-bool-example-btn {
    background: var(--math-surface);
    border: 1px solid var(--math-border);
    border-radius: var(--math-radius-sm);
    padding: 6px 12px;
    font-size: 12px;
    font-family: 'SF Mono', Monaco, Consolas, monospace;
    color: var(--math-text-soft);
    cursor: pointer;
    transition: all var(--math-transition);
}

.math-bool-example-btn:hover {
    background: var(--math-primary);
    color: #fff;
    border-color: var(--math-primary);
    transform: translateY(-1px);
}

/* Rule name styling in boolean simplifier steps */
.math-rule-name {
    display: inline-block;
    background: var(--math-primary-soft);
    color: var(--math-primary-hover);
    padding: 2px 10px;
    border-radius: var(--math-radius-full);
    font-size: 12px;
    font-weight: 600;
    margin-right: 6px;
}

.math-rule-name-en {
    color: var(--math-text-muted);
    font-size: 11px;
    font-weight: 500;
    font-style: italic;
}

/* ─── Bool Simplifier — summary head ────────────────── */
.math-bool-summary-head {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    justify-content: space-between;
    gap: 14px;
    padding: 14px 16px;
    margin-bottom: 14px;
    background: linear-gradient(135deg, rgba(99, 102, 241, 0.08), rgba(16, 185, 129, 0.06));
    border: 1px solid var(--math-border-light);
    border-radius: var(--math-radius-sm);
}
.math-bool-summary-main {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 12px;
    min-width: 0;
    flex: 1 1 320px;
}
.math-bool-summary-block {
    display: flex;
    flex-direction: column;
    gap: 4px;
    min-width: 0;
    flex: 1 1 auto;
}
.math-bool-summary-label {
    font-size: 11px;
    text-transform: uppercase;
    letter-spacing: 0.06em;
    color: var(--math-text-muted);
    font-weight: 600;
}
.math-bool-summary-before,
.math-bool-summary-after {
    font-size: 15px;
    font-weight: 700;
    padding: 6px 10px;
    border-radius: 6px;
    word-break: break-word;
    font-family: 'SF Mono', Monaco, Consolas, monospace;
}
.math-bool-summary-before {
    background: rgba(148, 163, 184, 0.16);
    color: #475569;
    border: 1px dashed rgba(148, 163, 184, 0.4);
}
.math-bool-summary-after {
    background: rgba(16, 185, 129, 0.14);
    color: #047857;
    border: 1px solid rgba(16, 185, 129, 0.35);
}
.math-bool-summary-arrow {
    color: var(--math-primary);
    font-size: 18px;
    flex: 0 0 auto;
    opacity: 0.75;
}
.math-bool-summary-meta {
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
    align-items: center;
}
.math-bool-class-badge,
.math-bool-chip,
.math-bool-vars-chip {
    display: inline-flex;
    align-items: center;
    gap: 6px;
    padding: 5px 12px;
    border-radius: var(--math-radius-full);
    font-size: 12px;
    font-weight: 600;
    border: 1px solid var(--math-border-light);
    background: #fff;
    color: var(--math-text-soft);
}
.math-bool-class-badge[data-class="tautology"] {
    background: rgba(16, 185, 129, 0.12);
    color: #047857;
    border-color: rgba(16, 185, 129, 0.35);
}
.math-bool-class-badge[data-class="contradiction"] {
    background: rgba(239, 68, 68, 0.12);
    color: #b91c1c;
    border-color: rgba(239, 68, 68, 0.35);
}
.math-bool-class-badge[data-class="simplified"] {
    background: rgba(99, 102, 241, 0.12);
    color: #4338ca;
    border-color: rgba(99, 102, 241, 0.3);
}
.math-bool-class-badge[data-class="unchanged"] {
    background: rgba(148, 163, 184, 0.14);
    color: #475569;
    border-color: rgba(148, 163, 184, 0.35);
}
.math-bool-chip-len,
.math-bool-chip-rules {
    background: rgba(251, 191, 36, 0.14);
    color: #92400e;
    border-color: rgba(251, 191, 36, 0.35);
}
.math-bool-chip-accent {
    margin-left: 4px;
    padding: 1px 6px;
    background: rgba(16, 185, 129, 0.2);
    color: #047857;
    border-radius: 4px;
    font-size: 11px;
    font-weight: 700;
}
.math-bool-vars-chip {
    font-family: 'SF Mono', Monaco, Consolas, monospace;
    color: #4338ca;
    background: rgba(99, 102, 241, 0.08);
    border-color: rgba(99, 102, 241, 0.25);
}

/* ─── Bool Simplifier — description ─────────────────── */
.math-bool-description {
    padding: 12px 14px;
    margin-bottom: 14px;
    background: var(--math-surface-alt);
    border-left: 3px solid var(--math-primary);
    border-radius: 6px;
    font-size: 14px;
    color: var(--math-text-soft);
    line-height: 1.6;
}
.math-bool-description code {
    background: rgba(99, 102, 241, 0.1);
    color: #4338ca;
    padding: 1px 6px;
    border-radius: 4px;
    font-size: 12.5px;
}
.math-bool-description em {
    color: var(--math-text);
    font-style: italic;
    font-weight: 600;
}
.math-bool-accent-true {
    color: #047857;
    background: rgba(16, 185, 129, 0.14);
    padding: 1px 6px;
    border-radius: 4px;
    font-weight: 700;
}
.math-bool-accent-false {
    color: #b91c1c;
    background: rgba(239, 68, 68, 0.14);
    padding: 1px 6px;
    border-radius: 4px;
    font-weight: 700;
}

/* ─── Bool Simplifier — applied rules panel ─────────── */
.math-bool-rules-panel {
    margin-bottom: 14px;
    padding: 12px 14px;
    background: #fffbeb;
    border: 1px solid rgba(251, 191, 36, 0.35);
    border-radius: var(--math-radius-sm);
}
.math-bool-rules-title {
    display: flex;
    align-items: center;
    gap: 8px;
    font-size: 13px;
    font-weight: 700;
    color: #b45309;
    margin-bottom: 10px;
}
.math-bool-rules-list {
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
}
.math-bool-rule-chip {
    display: inline-flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 6px;
    background: #fff;
    border: 1px solid rgba(251, 191, 36, 0.4);
    padding: 5px 10px 5px 6px;
    border-radius: var(--math-radius-full);
    font-size: 12px;
}
.math-bool-rule-chip-num {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    min-width: 28px;
    height: 22px;
    padding: 0 6px;
    border-radius: var(--math-radius-full);
    background: #fbbf24;
    color: #78350f;
    font-weight: 700;
    font-size: 11px;
}
.math-bool-rule-chip-arm {
    color: #78350f;
    font-weight: 700;
}
.math-bool-rule-chip-en {
    color: #b45309;
    font-size: 11px;
    font-style: italic;
}
.math-bool-rule-chip-desc {
    background: rgba(251, 191, 36, 0.18);
    color: #78350f;
    padding: 1px 6px;
    border-radius: 4px;
    font-size: 11px;
    font-weight: 600;
}

/* ─── Bool Simplifier — transformation chain ────────── */
.math-bool-chain-panel {
    margin-bottom: 12px;
    padding: 14px 16px;
    background: #fff;
    border: 1px solid var(--math-border-light);
    border-radius: var(--math-radius-sm);
}
.math-bool-chain-title {
    display: flex;
    align-items: center;
    gap: 8px;
    font-size: 13px;
    font-weight: 700;
    color: var(--math-primary-hover);
    margin-bottom: 12px;
}
.math-bool-chain-empty {
    padding: 10px 12px;
    background: var(--math-surface-alt);
    border: 1px dashed var(--math-border);
    border-radius: 6px;
    color: var(--math-text-muted);
    font-size: 13px;
    display: flex;
    align-items: center;
    gap: 8px;
}
.math-bool-chain-list {
    display: flex;
    flex-direction: column;
    gap: 0;
}
.math-bool-chain-step {
    display: flex;
    align-items: center;
    gap: 12px;
    padding: 10px 12px;
    background: var(--math-surface-alt);
    border: 1px solid var(--math-border-light);
    border-radius: 8px;
}
.math-bool-chain-step.is-initial {
    background: rgba(148, 163, 184, 0.1);
    border-color: rgba(148, 163, 184, 0.3);
}
.math-bool-chain-step.is-final {
    background: rgba(16, 185, 129, 0.1);
    border-color: rgba(16, 185, 129, 0.4);
}
.math-bool-chain-num {
    flex: 0 0 auto;
    display: inline-flex;
    align-items: center;
    justify-content: center;
    width: 28px;
    height: 28px;
    border-radius: 50%;
    background: var(--math-primary);
    color: #fff;
    font-weight: 700;
    font-size: 13px;
}
.math-bool-chain-step.is-initial .math-bool-chain-num {
    background: #94a3b8;
}
.math-bool-chain-step.is-final .math-bool-chain-num {
    background: #10b981;
}
.math-bool-chain-step-body {
    display: flex;
    flex-direction: column;
    gap: 4px;
    min-width: 0;
    flex: 1 1 auto;
}
.math-bool-chain-label {
    font-size: 10.5px;
    text-transform: uppercase;
    letter-spacing: 0.06em;
    font-weight: 700;
    color: var(--math-text-muted);
}
.math-bool-chain-step.is-final .math-bool-chain-label {
    color: #047857;
}
.math-bool-chain-expr {
    background: transparent;
    padding: 0;
    font-size: 15px;
    font-weight: 700;
    font-family: 'SF Mono', Monaco, Consolas, monospace;
    color: var(--math-text);
    word-break: break-word;
}
.math-bool-chain-step.is-final .math-bool-chain-expr {
    color: #047857;
}
.math-bool-chain-connector {
    display: flex;
    align-items: center;
    gap: 10px;
    padding: 6px 0 6px 14px;
    margin-left: 14px;
    border-left: 2px dashed rgba(99, 102, 241, 0.35);
}
.math-bool-chain-arrow {
    color: var(--math-primary);
    font-size: 14px;
    margin-left: -22px;
    width: 16px;
    text-align: center;
    background: #fff;
}
.math-bool-chain-rule {
    display: inline-flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 6px;
    background: rgba(99, 102, 241, 0.08);
    border: 1px solid rgba(99, 102, 241, 0.25);
    padding: 4px 10px;
    border-radius: var(--math-radius-full);
    font-size: 12px;
}
.math-bool-chain-rule-arm {
    color: #4338ca;
    font-weight: 700;
}
.math-bool-chain-rule-desc {
    background: transparent;
    color: #4338ca;
    padding: 0;
    font-size: 11.5px;
    font-weight: 600;
}

/* ─── Bool Simplifier — responsive ─────────────────── */
@media (max-width: 640px) {
    .math-bool-summary-head {
        flex-direction: column;
        align-items: stretch;
        gap: 10px;
    }
    .math-bool-summary-main {
        flex-direction: column;
        align-items: stretch;
        flex: 0 0 auto;
    }
    .math-bool-summary-arrow {
        transform: rotate(90deg);
        align-self: center;
    }
    .math-bool-summary-before,
    .math-bool-summary-after {
        font-size: 14px;
    }
    .math-bool-chain-step {
        gap: 8px;
        padding: 8px 10px;
    }
    .math-bool-chain-expr {
        font-size: 13.5px;
    }
    .math-bool-chain-connector {
        padding-left: 10px;
        margin-left: 12px;
    }
    .math-bool-chain-rule {
        font-size: 11px;
    }
    .math-bool-rule-chip {
        font-size: 11px;
    }
}