.input-panel{margin-top:16px}.input-panel textarea{min-height:90px}.logic-form-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:16px}.logic-facts{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:12px;margin:18px 0}.logic-facts div,.logic-solution{border:1px solid var(--net-line);border-radius:10px;padding:12px;background:#f8fafc}.logic-facts span{display:block;color:var(--net-muted);font-size:.78rem}.logic-facts strong{font-size:1.08rem}.logic-solutions{display:grid;grid-template-columns:1fr 1fr;gap:16px}.logic-solution code,.universal-form code{white-space:normal;overflow-wrap:anywhere}.kmap-wrap{overflow-x:auto}.kmap-panels{display:flex;flex-wrap:wrap;gap:20px}.kmap-panel{min-width:290px}.kmap-table{border-collapse:separate;border-spacing:4px;width:auto}.kmap-table th{font-size:.75rem;color:var(--net-muted);padding:4px}.kmap-cell{min-width:58px;height:58px;border:1px solid #9fb9cb;border-radius:8px;text-align:center;vertical-align:middle;background:#e6eef4;position:relative}.kmap-cell.value-1{background:#b8eee4;border-color:#159e91}.kmap-cell.value-x{background:#c8e6f4;border-color:#1689b1}.kmap-cell strong{display:block;font-size:1.05rem}.kmap-cell small{position:absolute;right:4px;top:2px;color:#52657a}.group-badges{display:flex;justify-content:center;gap:3px}.group-badges i{display:inline-flex;align-items:center;justify-content:center;width:22px;height:18px;border-radius:9px;color:#fff;font-size:.62rem;font-style:normal;font-weight:750}.kmap-groups{display:flex;flex-wrap:wrap;gap:8px;margin:12px 0 0;padding:0;list-style:none}.kmap-groups li{display:flex;align-items:center;gap:7px;background:#dfeaf1;padding:6px 10px;border-radius:5px}.kmap-groups i{display:inline-block;width:12px;height:12px;border-radius:50%;flex:0 0 auto}.logic-table-wrap{overflow:auto}.logic-table{border-collapse:collapse;width:100%}.logic-table th,.logic-table td{border:1px solid var(--net-line);padding:6px 9px;text-align:center}.logic-table td.mark{font-weight:750;background:#bde9ed}.combination-round{margin:14px 0}.gate-diagram{overflow-x:auto;border:1px solid var(--net-line);border-radius:10px;background:#f8fafc;padding:10px}.gate-diagram svg{display:block;min-width:620px;width:100%;max-width:100%}.gate-term,.gate-output{fill:#cfe5f2;stroke:#075985;stroke-width:2}.gate-wire{stroke:#52657a;stroke-width:2;fill:none}.universal-grid{display:grid;grid-template-columns:1fr 1fr;gap:16px}.universal-form{border:1px solid var(--net-line);border-radius:10px;padding:14px}.field-help{color:var(--net-muted);font-size:.86rem}.solution-list{padding-left:20px}.solution-list li{margin:7px 0}@media(max-width:700px){.logic-form-grid,.logic-solutions,.universal-grid{grid-template-columns:1fr}.logic-facts{grid-template-columns:repeat(2,1fr)}.kmap-cell{min-width:50px;height:52px}}
.cover-selectors,.export-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:16px;margin:16px 0}.kmap-cell-button{display:block;width:100%;height:100%;min-height:54px;margin:0;padding:3px;border:0;background:transparent;color:inherit}.kmap-cell-button:hover,.kmap-cell-button:focus-visible{outline:3px solid #245f9e;outline-offset:-3px}.share-button,.copy-output{width:auto;margin:8px 8px 8px 0}.gate-metrics{display:flex;flex-wrap:wrap;gap:8px;margin:12px 0}.gate-metrics span{padding:6px 10px;border-radius:999px;background:#eef5f8;color:#123f66;font-weight:700}.gate-not{fill:#fff;stroke:#a23b3b;stroke-width:2}.gate-label{font-size:13px;fill:#1f2b35}.gate-bubble{fill:#fff;stroke:#123f66;stroke-width:2}.export-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.export-grid>div{min-width:0;border:1px solid var(--net-line);border-radius:10px;padding:12px}.export-grid pre{min-height:115px;overflow:auto;white-space:pre-wrap;overflow-wrap:anywhere;background:#f6f8fa;border-radius:7px;padding:10px}.hazard-safe{color:#0d5f34;font-weight:750}.hazard-warning{color:#8a4b08;font-weight:750}@media(max-width:900px){.export-grid{grid-template-columns:1fr}}@media(max-width:700px){.cover-selectors{grid-template-columns:1fr}}
.inline-check{display:flex!important;align-items:center;gap:9px;margin:16px 0}.inline-check input{width:auto;margin:0}.comparison-result{padding:12px 14px;border-radius:8px;font-weight:700}.comparison-result.equivalent{background:#e7f5e0;color:#285d20}.comparison-result.not-equivalent{background:#fff0dc;color:#81460b}.truth-generated-table th{max-width:220px;overflow-wrap:anywhere}.truth-generated-table td.mark{background:#f2f7fa}.logic-solution code{display:block;margin:7px 0;white-space:pre-wrap}.simplifier-copy{width:auto}
.logic-signature-input{min-height:76px;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;letter-spacing:.12em}.work-check-result{margin-top:16px;padding:14px 16px;border:1px solid var(--net-line);border-radius:9px;background:#eef5f8}.work-check-result:empty{display:none}.work-check-result.valid{border-color:#159e91;background:#e1f5f0;color:#155e55}.work-check-result.warning{border-color:#c2892d;background:#fff4d8;color:#74440a}.work-check-result.invalid{border-color:#c25555;background:#fdecec;color:#7f1d1d}.work-check-result ul{margin:8px 0 0;padding-left:20px}.network-actions .network-button{display:inline-flex;align-items:center;justify-content:center;text-decoration:none}
.kmap-cell.user-selected{outline:3px solid #f97316;outline-offset:-3px}.kmap-cell.user-grouped{box-shadow:inset 0 0 0 3px #8b5cf6}.user-group-list{display:flex;flex-wrap:wrap;gap:8px;margin:12px 0}.user-group-chip{display:inline-flex;align-items:center;gap:8px;padding:7px 10px;border:1px solid var(--net-line);border-radius:999px;background:#e9f1f6}.user-group-chip button{width:auto;margin:0;padding:2px 7px;border-radius:999px}.multi-output-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:12px}.multi-output-card{padding:14px;border:1px solid var(--net-line);border-radius:10px;background:#f8fafc}.multi-output-card h3{margin-top:0;color:var(--net-blue)}.multi-output-card code{display:block;white-space:pre-wrap;overflow-wrap:anywhere}.law-derivation{list-style:none;counter-reset:law-step;padding:0}.law-derivation li{counter-increment:law-step;position:relative;margin:0 0 12px;padding:14px 16px 14px 52px;border:1px solid var(--net-line);border-radius:10px;background:#f8fafc}.law-derivation li:before{content:counter(law-step);position:absolute;left:15px;top:14px;display:grid;width:25px;height:25px;place-items:center;border-radius:50%;background:var(--net-blue);color:#fff;font-weight:800}.law-derivation strong,.law-derivation code{display:block;margin-bottom:5px}.law-derivation code{overflow-wrap:anywhere}
.practice-dashboard{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:12px;margin:18px 0}.practice-dashboard div{padding:14px 16px;border:1px solid var(--net-line);border-radius:12px;background:linear-gradient(145deg,#10273d,#0a1b2c)}.practice-dashboard span{display:block;color:#9fb4c8;font-size:.78rem;text-transform:uppercase;letter-spacing:.05em}.practice-dashboard strong{display:block;margin-top:3px;color:#67e8f9;font-size:1.45rem}.practice-card{margin-top:16px}.practice-controls{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:16px}.practice-heading{display:flex;align-items:flex-start;justify-content:space-between;gap:16px;margin-top:24px}.practice-heading h2{margin-top:3px}.practice-heading button{width:auto;margin:0}.practice-prompt{margin:16px 0;padding:18px;border-left:4px solid #22d3ee;border-radius:8px;background:#10273d}.practice-prompt p:first-child{margin-top:0}.practice-prompt p:last-child{margin-bottom:0}.practice-equation{font-size:1.35rem;letter-spacing:.02em}.practice-choices{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:10px;border:0;padding:0;margin:12px 0}.practice-choices legend{grid-column:1/-1;margin-bottom:5px;font-weight:700}.practice-choices label{display:flex;align-items:center;gap:9px;padding:12px;border:1px solid var(--net-line);border-radius:9px;background:#10273d;cursor:pointer}.practice-choices input{width:auto;margin:0}.practice-feedback{min-height:1.5em;margin-top:12px}.practice-feedback.is-correct{color:#5eead4}.practice-feedback.is-incorrect{color:#fca5a5}.practice-explanation{margin-top:18px;padding:18px;border:1px solid #1d7892;border-radius:10px;background:#0c2538}.practice-explanation h3{margin-top:0;color:#67e8f9}.practice-next{margin-top:18px}@media(max-width:700px){.practice-dashboard{grid-template-columns:repeat(2,minmax(0,1fr))}.practice-controls,.practice-choices{grid-template-columns:1fr}.practice-heading{align-items:stretch;flex-direction:column}.practice-heading button{width:100%}}
.worked-example-library>p{max-width:76ch}.worked-example-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px;margin-top:18px}.worked-example-card{display:flex;flex-direction:column;min-width:0;padding:18px;border:1px solid var(--net-line);border-radius:12px;background:linear-gradient(145deg,#10273d,#0b1e30)}.worked-example-card h3{margin:0 0 8px;color:#67e8f9}.worked-example-card p{margin:5px 0}.worked-example-card .example-problem{color:#d8e7f2}.worked-example-card .example-result{padding:9px 11px;border-left:3px solid #22d3ee;background:#0a1928;overflow-wrap:anywhere}.worked-example-card .network-button{align-self:flex-start;margin-top:auto}.worked-example-card code{white-space:normal;overflow-wrap:anywhere}@media(max-width:760px){.worked-example-grid{grid-template-columns:1fr}}
.boolean-input-assistant{margin:10px 0 16px;padding:14px;border:1px solid var(--net-line);border-radius:11px;background:#0b1e30}.boolean-assistant-head{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-bottom:11px}.boolean-assistant-head strong{color:#dff7ff}.boolean-assistant-head label{display:flex;align-items:center;gap:8px;margin:0;color:#9fb4c8;font-size:.82rem}.boolean-assistant-head select{width:auto;min-width:145px;margin:0;padding:6px 30px 6px 8px}.boolean-assistant-buttons,.boolean-variable-buttons{display:flex;flex-wrap:wrap;gap:6px;margin:7px 0}.boolean-token{width:auto;min-width:38px;margin:0;padding:7px 10px;border:1px solid #245778;border-radius:7px;background:#102b42;color:#dff7ff;font:700 .84rem ui-monospace,SFMono-Regular,Consolas,monospace}.boolean-token:hover,.boolean-token:focus-visible{border-color:#22d3ee;background:#153b56}.boolean-token.variable{border-color:#31506a;background:#0f2437;color:#67e8f9}.boolean-interpretation{margin-top:11px;padding:11px 12px;border-left:3px solid #4b718d;border-radius:6px;background:#081827}.boolean-interpretation>span{display:block;margin-bottom:4px;color:#9fb4c8;font-size:.75rem;text-transform:uppercase;letter-spacing:.05em}.boolean-normalized{display:block;white-space:normal;overflow-wrap:anywhere;color:#dff7ff}.boolean-syntax-status{margin:5px 0 0;color:#9fb4c8;font-size:.82rem}.boolean-input-assistant.is-valid .boolean-interpretation{border-color:#14b8a6}.boolean-input-assistant.is-valid .boolean-syntax-status{color:#5eead4}.boolean-input-assistant.is-invalid .boolean-interpretation{border-color:#ef4444}.boolean-input-assistant.is-invalid .boolean-syntax-status{color:#fca5a5}.boolean-error-source{display:block;margin-top:7px;padding:7px 9px;white-space:pre-wrap;overflow-wrap:anywhere;border-radius:5px;background:#190f17;color:#fbd5d5}.boolean-error-source mark{padding:1px 2px;background:#ef4444;color:#fff}@media(max-width:650px){.boolean-assistant-head{align-items:stretch;flex-direction:column}.boolean-assistant-head label{justify-content:space-between}.boolean-assistant-head select{flex:1}.boolean-token{min-width:42px;min-height:40px}}
.logic-table-wrap[data-scrollable="true"],.gate-diagram[data-scrollable="true"],.kmap-wrap[data-scrollable="true"]{scrollbar-width:thin;overscroll-behavior-inline:contain;-webkit-overflow-scrolling:touch}.logic-table-wrap[data-scrollable="true"]:focus-visible,.gate-diagram[data-scrollable="true"]:focus-visible,.kmap-wrap[data-scrollable="true"]:focus-visible{outline:3px solid #22d3ee;outline-offset:3px}.network-page summary{min-height:44px;display:flex;align-items:center}.network-page .inline-check{min-height:44px}.network-page .inline-check input,.network-page .checkbox-label input{width:20px;height:20px;min-height:20px;flex:0 0 20px}.network-page :is(button,a,input,select,textarea,summary):focus-visible{outline:3px solid #22d3ee!important;outline-offset:3px!important}.network-button{display:inline-flex;align-items:center;min-height:44px}.kmap-cell-button{min-width:44px}
@media(max-width:800px){body button{min-height:44px}.network-page :is(input,select,textarea){min-height:44px;font-size:16px!important}.network-tool-tabs{flex-wrap:nowrap;overflow-x:auto;padding:2px 2px 10px;scroll-snap-type:x proximity;overscroll-behavior-inline:contain;-webkit-overflow-scrolling:touch;scrollbar-width:thin}.network-tool-tabs a{display:inline-flex;align-items:center;flex:0 0 auto;min-height:44px;padding:10px 14px;scroll-snap-align:start}.network-page .on-page-nav{display:flex;align-items:center;gap:8px;width:100%;overflow-x:auto;padding:10px 12px;white-space:nowrap;overscroll-behavior-inline:contain;-webkit-overflow-scrolling:touch;scrollbar-width:thin}.network-page .on-page-nav strong{flex:0 0 auto;margin:0 4px 0 0}.network-page .on-page-nav a{display:inline-flex;align-items:center;flex:0 0 auto;min-height:44px;padding:8px 10px;border:1px solid var(--net-line);border-radius:999px;font-size:.9rem;text-decoration:none}.boolean-assistant-head select{min-height:44px;font-size:16px}.boolean-token{min-width:44px;min-height:44px}.kmap-cell-button{min-width:44px;min-height:54px}.network-guide summary{padding-block:10px}.logic-table th,.logic-table td{padding:8px 10px}.worked-example-card .network-button{width:100%;justify-content:center}}
@media(prefers-reduced-motion:reduce){.network-page *{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}
@media(forced-colors:active){.network-page :is(button,a,input,select,textarea,summary):focus-visible{outline:3px solid Highlight!important}.worked-example-card,.boolean-input-assistant,.boolean-interpretation{border:1px solid CanvasText}}