:root{--app-bg: #f5f5f7;--surface: rgba(255, 255, 255, .78);--surface-strong: rgba(255, 255, 255, .92);--surface-muted: rgba(242, 242, 247, .82);--line: rgba(60, 60, 67, .14);--line-strong: rgba(60, 60, 67, .22);--text: #1d1d1f;--muted: rgba(60, 60, 67, .68);--accent: #007aff;--accent-soft: rgba(0, 122, 255, .12);--success: #248a3d;--success-soft: rgba(52, 199, 89, .14);--danger: #d70015;--danger-soft: rgba(255, 59, 48, .12);--warning: #bf5b00;--warning-soft: rgba(255, 149, 0, .14);--shadow-soft: 0 18px 48px rgba(0, 0, 0, .08);--shadow-control: 0 1px 1px rgba(0, 0, 0, .04), 0 8px 22px rgba(0, 0, 0, .06);font-family:-apple-system,BlinkMacSystemFont,SF Pro Text,SF Pro Display,Inter,Segoe UI,sans-serif;color:var(--text);background:var(--app-bg);font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased}*{box-sizing:border-box}body{margin:0;min-width:320px;min-height:100vh;background:linear-gradient(180deg,#ffffffeb,#f5f5f7f5 44%,#f5f5f7),#f5f5f7}button,input,textarea{font:inherit}button{border:0}.app-shell{min-height:100vh;padding:20px;display:flex;flex-direction:column;gap:18px}.topbar{height:74px;border:1px solid var(--line);border-radius:22px;background:var(--surface);backdrop-filter:blur(26px) saturate(170%);-webkit-backdrop-filter:blur(26px) saturate(170%);display:flex;align-items:center;justify-content:space-between;padding:0 20px;box-shadow:var(--shadow-soft)}.brand-lockup{display:flex;align-items:center;gap:12px;min-width:0}.brand-mark{width:44px;height:44px;display:inline-flex;align-items:center;justify-content:center;border-radius:14px;color:#fff;background:linear-gradient(145deg,#007aff,#32d74b);box-shadow:inset 0 1px #ffffff6b,0 12px 22px #007aff2e}h1,h2,p{margin:0}h1{font-size:21px;line-height:1.1;font-weight:700;letter-spacing:0}.brand-lockup p,.panel-heading p{margin-top:4px;color:var(--muted);font-size:12px;line-height:1.35}.toolbar{display:flex;gap:8px;flex-wrap:wrap;justify-content:flex-end}.toolbar button,.examples button,.symbol-keyboard button,.truth-toggle,.signal-buttons button,.segmented button{min-height:34px;display:inline-flex;align-items:center;justify-content:center;gap:7px;border-radius:7px;border:1px solid var(--line);background:#ffffffb8;color:var(--text);font-size:13px;font-weight:600;padding:0 11px;cursor:pointer;box-shadow:0 1px #ffffffdb;transition:background .16s ease,border-color .16s ease,color .16s ease,transform .16s ease,box-shadow .16s ease}.toolbar button,.examples button,.signal-buttons button{border-radius:999px}.toolbar button:hover,.examples button:hover,.symbol-keyboard button:hover,.truth-toggle:hover,.signal-buttons button:hover,.segmented button:hover{background:#fffffff0;border-color:var(--line-strong);box-shadow:var(--shadow-control)}.toolbar button:active,.examples button:active,.symbol-keyboard button:active,.truth-toggle:active,.signal-buttons button:active,.segmented button:active{transform:translateY(1px)}button:disabled{opacity:.45;cursor:not-allowed;box-shadow:none}.workspace{flex:1;min-height:0;display:grid;grid-template-columns:minmax(276px,344px) minmax(420px,1fr) minmax(286px,382px);gap:18px}.left-panel{min-width:0;display:grid;grid-template-rows:minmax(340px,auto) 1fr;gap:18px}.panel{min-width:0;border:1px solid var(--line);border-radius:22px;background:var(--surface);box-shadow:var(--shadow-soft);backdrop-filter:blur(24px) saturate(160%);-webkit-backdrop-filter:blur(24px) saturate(160%)}.input-panel,.output-panel,.diagram-panel,.right-panel{padding:16px}.panel-heading{display:flex;align-items:flex-start;justify-content:space-between;gap:12px;margin-bottom:16px;color:var(--accent)}.panel-heading h2{color:var(--text);font-size:16px;line-height:1.2;font-weight:700}.segmented{display:grid;grid-template-columns:1fr 1fr;gap:4px;padding:4px;border-radius:14px;border:1px solid var(--line);background:#7676801f;margin-bottom:12px}.segmented button{min-height:32px;border-color:transparent;background:transparent;font-size:12px;font-weight:600;padding:0 8px;box-shadow:none}.segmented button.active{background:#fffffff5;color:var(--text);border-color:#fffffff5;box-shadow:0 2px 8px #00000021}textarea{width:100%;min-height:132px;resize:vertical;border:1px solid var(--line);border-radius:16px;padding:12px;color:var(--text);background:#ffffffd1;font-size:15px;line-height:1.45;outline:none;box-shadow:inset 0 1px #ffffffdb}textarea:focus{border-color:#007affa8;box-shadow:0 0 0 4px var(--accent-soft),inset 0 1px #ffffffdb}.truth-input{display:grid;gap:8px}.truth-input label{color:var(--muted);font-size:11px;text-transform:uppercase;font-weight:700}.truth-input input{width:100%;min-height:42px;border:1px solid var(--line);border-radius:14px;padding:0 12px;color:var(--text);background:#ffffffd1;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:14px;outline:none}.truth-input input:focus{border-color:#007affa8;box-shadow:0 0 0 4px var(--accent-soft)}.truth-input span{color:var(--muted);font-size:12px;line-height:1.35}.symbol-keyboard{display:grid;grid-template-columns:repeat(auto-fit,minmax(34px,1fr));gap:6px;margin-top:10px}.symbol-keyboard button{min-width:0;min-height:34px;padding:0;color:var(--accent);font-size:15px;font-weight:700;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace}.examples{display:flex;flex-wrap:wrap;gap:8px;margin-top:12px}.examples button{min-height:30px;font-size:12px;color:var(--muted)}.error-line{margin-top:12px;padding:10px 11px;border:1px solid rgba(255,59,48,.22);border-radius:14px;background:var(--danger-soft);color:var(--danger);font-size:13px;line-height:1.35}.output-panel{display:flex;flex-direction:column}.result-block{border-top:1px solid var(--line);padding:13px 0}.result-block span{display:block;margin-bottom:7px;color:var(--muted);font-size:11px;text-transform:uppercase;font-weight:700}.result-block code{display:block;white-space:pre-wrap;overflow-wrap:anywhere;color:var(--text);font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:14px;line-height:1.45}.result-block code.strong{color:var(--accent);font-size:18px;font-weight:700}.diagram-panel{min-height:520px;display:flex;flex-direction:column}.signal-controls{display:flex;align-items:center;gap:10px;margin:-4px 0 12px;padding:8px;border:1px solid var(--line);border-radius:16px;background:#f2f2f7ad}.signal-buttons{display:flex;gap:6px;flex:0 0 auto}.signal-buttons button{width:34px;min-height:32px;padding:0;color:var(--accent)}.signal-status{min-width:0;display:flex;align-items:center;gap:8px;flex-wrap:wrap;color:var(--muted);font-size:12px;line-height:1.3}.signal-status span{color:var(--text);font-weight:700}.signal-status code{max-width:100%;padding:4px 7px;border:1px solid var(--line);border-radius:9px;background:#ffffffe0;color:var(--text);font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:12px;overflow-wrap:anywhere}.signal-status strong{font-size:12px;font-weight:800}.signal-status .signal-true{color:var(--success)}.signal-status .signal-false{color:var(--danger)}.gate-canvas,.empty-canvas{position:relative;flex:1;min-height:420px;border:1px solid var(--line);border-radius:18px;overflow:auto;background:linear-gradient(90deg,rgba(60,60,67,.055) 1px,transparent 1px),linear-gradient(0deg,rgba(60,60,67,.05) 1px,transparent 1px),linear-gradient(180deg,#ffffffe6,#fafafcf5);background-size:24px 24px,24px 24px,auto}.gate-canvas svg{width:100%;height:auto;min-height:100%;display:block}.empty-canvas,.truth-empty{display:grid;place-items:center;color:#3c3c435c}.wire path{fill:none;stroke-linecap:round}.wire-base{stroke:#3c3c4370;stroke-width:2;opacity:.62}.wire.signal-true .wire-base{stroke:var(--success);opacity:.78}.wire.signal-false .wire-base{stroke:var(--danger);opacity:.68}.wire-arrow{stroke:none;opacity:.88}.wire.signal-true .wire-arrow{fill:var(--success)}.wire.signal-false .wire-arrow{fill:var(--danger)}.wire-pulse{stroke-width:4;stroke-dasharray:.14 1.2;stroke-dashoffset:0;opacity:0;animation:signal-flow 1.2s ease-out var(--signal-delay) both}.wire.signal-true .wire-pulse{stroke:#34c759}.wire.signal-false .wire-pulse{stroke:#ff3b30}@keyframes signal-flow{0%{stroke-dashoffset:0;opacity:0}12%{opacity:1}84%{opacity:1}to{stroke-dashoffset:-1;opacity:0}}.gate-node path,.gate-node rect,.gate-node circle{fill:#ffffffeb;stroke:var(--accent);stroke-width:2}.gate-node text{fill:var(--text);font-size:12px;font-weight:700;text-anchor:middle;font-family:-apple-system,BlinkMacSystemFont,SF Pro Text,Inter,sans-serif;pointer-events:none}.input-node rect{fill:#fffffff0;stroke:#007aff73}.output-node rect{fill:var(--accent-soft);stroke:var(--accent)}.gate-and path{fill:#34c7591f}.gate-or path,.gate-xor path{fill:var(--warning-soft);stroke:var(--warning)}.gate-implies path,.gate-iff path{fill:var(--accent-soft);stroke:var(--accent)}.gate-not path,.gate-not circle{fill:#f2f2f7e6;stroke:#3c3c439e}.xor-offset{fill:none!important;stroke:var(--warning)!important}.gate-node.signal-true path:not(.xor-offset),.gate-node.signal-true rect,.gate-node.signal-true circle{fill:#ecfdf5;stroke:var(--success)}.gate-node.signal-false path:not(.xor-offset),.gate-node.signal-false rect,.gate-node.signal-false circle{fill:#fff1f2;stroke:var(--danger)}.gate-node.signal-true text{fill:#1f5f2c}.gate-node.signal-false text{fill:#7a0009}.signal-badge{color:var(--muted)}.signal-badge.signal-true{color:var(--success)}.signal-badge.signal-false{color:var(--danger)}.gate-node .signal-badge circle{fill:currentColor;stroke:#ffffffeb;stroke-width:1.5}.gate-node .signal-badge text{fill:#fff;font-size:9.5px;font-weight:850;text-anchor:middle;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace}.right-panel{display:flex;flex-direction:column;min-height:0}.truth-table-wrap{overflow:auto;border:1px solid var(--line);border-radius:16px;background:#ffffff9e}.truth-table{width:100%;border-collapse:collapse;min-width:280px;font-size:13px}.truth-table th,.truth-table td{border-bottom:1px solid var(--line);border-right:1px solid var(--line);padding:9px 10px;text-align:center;white-space:nowrap}.truth-table th{position:sticky;top:0;z-index:1;background:#f2f2f7eb;color:var(--text);font-weight:700;backdrop-filter:blur(16px);-webkit-backdrop-filter:blur(16px)}.truth-table th:last-child{color:var(--accent)}.truth-table td:last-child,.truth-table th:last-child{border-right:0}.truth-table tr:last-child td{border-bottom:0}.truth-table tbody tr.selectable-row{cursor:pointer;outline:0}.truth-table tbody tr.selectable-row:hover td{box-shadow:inset 0 0 0 999px #007aff0b}.truth-table tbody tr.selectable-row:focus-visible td{box-shadow:inset 0 0 0 2px #007affb3}.truth-table tbody tr.selected-row td{border-top-color:#007aff61;border-bottom-color:#007aff61;box-shadow:inset 0 0 0 999px var(--accent-soft)}.truth-table td.true{color:var(--success);background:var(--success-soft)}.truth-table td.false{color:var(--danger);background:var(--danger-soft)}.truth-table td.result{font-weight:800}.truth-toggle{width:100%;min-height:28px;border-color:transparent;background:transparent;color:inherit;font-weight:800;padding:0 8px}.truth-empty{flex:1;min-height:320px;border:1px solid var(--line);border-radius:18px;background:#f2f2f7ad}@media (prefers-reduced-motion: reduce){.wire-pulse{animation:none;display:none}.toolbar button,.examples button,.symbol-keyboard button,.truth-toggle,.signal-buttons button,.segmented button{transition:none}}@media (max-width: 1120px){.workspace{grid-template-columns:minmax(280px,360px) minmax(380px,1fr)}.right-panel{grid-column:1 / -1;min-height:330px}}@media (max-width: 780px){.app-shell{padding:12px}.topbar{height:auto;min-height:72px;align-items:flex-start;flex-direction:column;padding:14px}.toolbar{width:100%;justify-content:stretch}.toolbar button{flex:1 1 92px}.workspace{grid-template-columns:1fr}.left-panel{grid-template-rows:auto auto}.diagram-panel{min-height:470px}.signal-controls{align-items:stretch;flex-direction:column}.signal-buttons{width:100%}.signal-buttons button{flex:1}.gate-canvas,.empty-canvas{min-height:360px}}