.tool-header[data-astro-cid-d22obhpt]{text-align:center;margin-bottom:2rem}.tool-header[data-astro-cid-d22obhpt] h1[data-astro-cid-d22obhpt]{font-size:2rem;margin-bottom:.5rem}.tool-header[data-astro-cid-d22obhpt] p[data-astro-cid-d22obhpt]{color:var(--color-secondary);font-size:1rem}.input-container[data-astro-cid-d22obhpt]{margin-bottom:1.5rem}.section-label[data-astro-cid-d22obhpt]{display:block;margin-bottom:.5rem;font-weight:600;color:var(--color-secondary)}input[data-astro-cid-d22obhpt][type=text]{width:100%;padding:.75rem 1rem;border-radius:8px;border:1px solid var(--color-border);background:var(--color-bg);color:var(--color-text);font-family:var(--font-mono, monospace);font-size:1rem;transition:border-color .2s}input[data-astro-cid-d22obhpt][type=text]:focus{outline:none;border-color:var(--color-primary)}.input-desc[data-astro-cid-d22obhpt]{margin-top:.5rem;font-size:.875rem;color:var(--color-secondary)}.operators-info[data-astro-cid-d22obhpt]{margin-bottom:1.5rem;padding:1rem;background:var(--color-bg);border:1px solid var(--color-border);border-radius:8px}.operators-info[data-astro-cid-d22obhpt] h3[data-astro-cid-d22obhpt]{margin:0 0 .75rem;font-size:1rem}.operators-info[data-astro-cid-d22obhpt] ul[data-astro-cid-d22obhpt]{margin:0;padding-left:1.25rem;color:var(--color-secondary);font-size:.9rem}.operators-info[data-astro-cid-d22obhpt] li[data-astro-cid-d22obhpt]{margin-bottom:.25rem}.actions[data-astro-cid-d22obhpt]{display:flex;gap:.75rem;margin-bottom:1.5rem;flex-wrap:wrap}.btn-primary[data-astro-cid-d22obhpt]{padding:.6rem 1.2rem;border-radius:8px;border:none;background:var(--color-primary);color:var(--color-bg);font-weight:600;font-size:.95rem;cursor:pointer;transition:opacity .2s,transform .1s}.btn-primary[data-astro-cid-d22obhpt]:hover{opacity:.9}.btn-primary[data-astro-cid-d22obhpt]:active{transform:scale(.98)}.btn-secondary[data-astro-cid-d22obhpt]{padding:.6rem 1.2rem;border-radius:8px;border:1px solid var(--color-border);background:var(--color-bg);color:var(--color-text);font-weight:500;font-size:.95rem;cursor:pointer;transition:background .2s,transform .1s}.btn-secondary[data-astro-cid-d22obhpt]:hover{background:var(--color-border)}.btn-secondary[data-astro-cid-d22obhpt]:active{transform:scale(.98)}.examples-section[data-astro-cid-d22obhpt]{margin-bottom:1.5rem}.examples-section[data-astro-cid-d22obhpt] h3[data-astro-cid-d22obhpt]{margin-bottom:.75rem;font-size:1rem}.example-buttons[data-astro-cid-d22obhpt]{display:flex;flex-wrap:wrap;gap:.5rem}.example-btn[data-astro-cid-d22obhpt]{padding:.4rem .8rem;border-radius:6px;border:1px solid var(--color-border);background:var(--color-bg);color:var(--color-text);font-size:.85rem;cursor:pointer;transition:background .2s}.example-btn[data-astro-cid-d22obhpt]:hover{background:var(--color-border)}.error[data-astro-cid-d22obhpt]{color:#e74c3c;background:#e74c3c1a;padding:.75rem 1rem;border-radius:8px;margin-bottom:1rem;font-size:.9rem}.result-section[data-astro-cid-d22obhpt]{margin-top:1.5rem}.result-header[data-astro-cid-d22obhpt]{display:flex;justify-content:space-between;align-items:center;margin-bottom:1rem}.result-header[data-astro-cid-d22obhpt] h2[data-astro-cid-d22obhpt]{margin:0;font-size:1.25rem}.table-wrapper[data-astro-cid-d22obhpt]{overflow-x:auto;margin-bottom:1rem}table[data-astro-cid-d22obhpt]{width:100%;border-collapse:collapse;font-family:var(--font-mono, monospace)}th[data-astro-cid-d22obhpt],td[data-astro-cid-d22obhpt]{padding:.6rem .75rem;text-align:center;border:1px solid var(--color-border)}th[data-astro-cid-d22obhpt]{background:var(--color-primary);color:var(--color-bg);font-weight:600}.output-col[data-astro-cid-d22obhpt]{background:var(--color-secondary)}.output-cell[data-astro-cid-d22obhpt]{font-weight:700}.true-val[data-astro-cid-d22obhpt]{background:#2ecc7126;color:#27ae60}.false-val[data-astro-cid-d22obhpt]{background:#e74c3c14;color:#c0392b}.minterms-section[data-astro-cid-d22obhpt]{padding:.75rem 1rem;background:var(--color-bg);border:1px solid var(--color-border);border-radius:8px;font-size:.95rem}.minterms-section[data-astro-cid-d22obhpt] strong[data-astro-cid-d22obhpt]{color:var(--color-primary)}