@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-outline-style:solid}}}@layer theme{:root,:host{--font-sans:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--radius-sm:.25rem;--radius-md:.375rem;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring:where(:not(iframe)){outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab,red,red)){::placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.collapse{visibility:collapse}.visible{visibility:visible}.table{display:table}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.outline{outline-style:var(--tw-outline-style);outline-width:1px}}:root{color:#18212b;font-synthesis:none;text-rendering:optimizelegibility;background:#edf0f2;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}*{box-sizing:border-box}body{min-width:320px;min-height:100vh;margin:0;overflow-x:hidden}#root,.app-shell{max-width:100%;overflow-x:clip}button,input,textarea{font:inherit}button{cursor:pointer}code{font-family:Cascadia Code,SFMono-Regular,Consolas,monospace}.app-shell{--bg:#edf0f2;--surface:#fff;--surface-subtle:#f6f7f8;--ink:#17202a;--muted:#66717d;--line:#cdd3d8;--line-strong:#aeb7bf;--accent:#195dba;--accent-soft:#e8f0fc;--one:#153f74;--x:#735312;min-height:100vh;color:var(--ink);background:var(--bg)}.app-shell[data-theme=dark]{--bg:#0d1218;--surface:#151c24;--surface-subtle:#111820;--ink:#e7edf3;--muted:#97a4b1;--line:#303b46;--line-strong:#4b5966;--accent:#6da7f5;--accent-soft:#172a42;--one:#8cbcff;--x:#e6bd5a}.app-header{border-bottom:1px solid var(--line);background:var(--surface);align-items:center;height:68px;padding:0 28px;display:flex}.brand-mark{border:2px solid var(--ink);place-items:center;width:34px;height:34px;margin-right:11px;font-family:Cascadia Code,monospace;font-weight:800;display:grid}.brand-copy h1{letter-spacing:-.01em;margin:0;font-size:16px}.brand-copy p{color:var(--muted);letter-spacing:.06em;text-transform:uppercase;margin:2px 0 0;font-size:11px}.header-meta{color:var(--muted);letter-spacing:.08em;text-transform:uppercase;align-items:center;gap:8px;margin-left:auto;font-size:11px;display:flex}.header-meta strong{color:#178251;font-size:10px}.header-meta strong:before{content:"";background:currentColor;border-radius:50%;width:6px;height:6px;margin-right:5px;display:inline-block}.theme-toggle{border:1px solid var(--line);color:var(--ink);background:var(--surface-subtle);border-radius:4px;margin-left:22px;padding:7px 10px;font-size:12px}.help-panel{margin-left:18px;position:relative}.help-panel summary{border:1px solid var(--line);color:var(--ink);background:var(--surface-subtle);cursor:pointer;border-radius:4px;padding:7px 10px;font-size:12px;list-style:none}.help-panel summary::-webkit-details-marker{display:none}.help-panel[open] summary{border-color:var(--accent);color:var(--accent)}.help-content{z-index:20;border:1px solid var(--line-strong);background:var(--surface);border-radius:6px;width:min(620px,100vw - 32px);max-height:min(680px,100vh - 96px);padding:20px;position:absolute;top:calc(100% + 10px);right:0;overflow:auto;box-shadow:0 12px 32px #00000029}.help-heading h2{margin:4px 0 16px;font-size:18px}.help-content dl{grid-template-columns:repeat(2,minmax(0,1fr));gap:16px 22px;margin:0;display:grid}.help-content dt{margin-bottom:4px;font-size:13px;font-weight:750}.help-content dd,.help-tip{color:var(--muted);margin:0;font-size:12px;line-height:1.55}.help-tip{border-top:1px solid var(--line);margin-top:18px;padding-top:14px}.workspace{grid-template-columns:286px minmax(0,1fr);grid-template-areas:"controls map""solution solution";gap:18px;width:min(1500px,100%);margin:0 auto;padding:20px;display:grid}.export-bar{border-bottom:1px solid var(--line);background:var(--surface);justify-content:flex-end;padding:7px 12px;display:flex}.export-actions{flex-wrap:wrap;justify-content:flex-end;gap:5px;display:flex}.export-actions button,.export-actions select{border:1px solid var(--line);border-radius:var(--radius-sm);min-height:28px;color:var(--muted);background:var(--surface-subtle);padding:4px 8px;font-size:10px;font-weight:650}.export-actions button:disabled{cursor:not-allowed;opacity:.42}.export-actions .print-action{color:#fff;border-color:var(--accent);background:var(--accent)}.map-export-control{align-items:center;display:flex}.map-export-control label{color:var(--muted);text-transform:uppercase;padding-inline:7px;font-size:9px;font-weight:700}.map-export-control select{border-radius:var(--radius-sm) 0 0 var(--radius-sm)}.map-export-control button{border-radius:0 var(--radius-sm) var(--radius-sm) 0;border-left:0}.print-report{display:none}.control-panel,.map-panel,.solution-panel{border:1px solid var(--line);background:var(--surface);box-shadow:0 1px 2px #0000000a}.control-panel{grid-area:controls;padding:20px}.map-panel{grid-area:map;min-width:0;padding:20px}.solution-panel{grid-area:solution;padding:20px}.panel-heading,.map-panel-heading,.solution-heading{justify-content:space-between;align-items:flex-start;gap:16px;display:flex}.panel-heading{margin-bottom:22px;display:block}.panel-heading h2,.map-panel-heading h2{margin:3px 0 0;font-size:18px}.eyebrow{color:var(--muted);letter-spacing:.13em;text-transform:uppercase;font-size:10px;font-weight:700}.variable-selector{border:0;margin:0 0 22px;padding:0}.variable-selector legend,.term-input>span{color:var(--ink);margin-bottom:8px;font-size:12px;font-weight:650;display:block}.term-input code{float:right;color:var(--muted);font-size:11px;font-weight:500}.segmented-control{border:1px solid var(--line-strong);grid-template-columns:repeat(4,1fr);display:grid}.segmented-control button{border:0;border-right:1px solid var(--line);color:var(--muted);background:var(--surface-subtle);padding:8px 0}.segmented-control button:last-child{border-right:0}.segmented-control button.active{color:#fff;background:var(--accent)}.input-stack{gap:15px;display:grid}.input-mode-tabs{border:1px solid var(--line-strong);grid-template-columns:1fr 1fr;margin-bottom:22px;display:grid}.input-mode-tabs button{color:var(--muted);background:var(--surface-subtle);border:0;padding:8px}.input-mode-tabs button+button{border-left:1px solid var(--line)}.input-mode-tabs button[aria-pressed=true]{color:#fff;background:var(--accent)}.expression-input{gap:10px;display:grid}.expression-input label{justify-content:space-between;font-size:12px;font-weight:650;display:flex}.expression-input label span{color:var(--muted);font-size:10px;font-weight:500}.expression-input textarea{resize:vertical;border:1px solid var(--line-strong);width:100%;color:var(--ink);background:var(--surface-subtle);border-radius:3px;padding:10px;font-family:Cascadia Code,monospace;line-height:1.5}.expression-input textarea:focus{outline:2px solid var(--accent);outline-offset:1px}.expression-input p{color:var(--muted);margin:0 0 4px;font-size:10px;line-height:1.5}.expression-comparison{border-top:1px solid var(--line);grid-template-columns:minmax(0,1fr) auto;gap:22px;margin-top:18px;padding-top:18px;display:grid}.comparison-expressions{grid-template-columns:1fr 1fr auto;align-items:center;gap:18px;display:grid}.comparison-expressions div{min-width:0}.comparison-expressions span,.comparison-metrics dt{color:var(--muted);letter-spacing:.09em;text-transform:uppercase;margin-bottom:5px;font-size:9px;font-weight:700;display:block}.comparison-expressions code{overflow-wrap:anywhere;color:var(--ink);font-size:14px;display:block}.comparison-expressions strong{white-space:nowrap;font-size:11px}.comparison-expressions .equivalent{color:#178251}.comparison-expressions .not-equivalent{color:#b83232}.comparison-metrics{border-left:1px solid var(--line);gap:18px;margin:0;padding-left:20px;display:flex}.comparison-metrics dd{margin:0;font-family:Cascadia Code,monospace;font-size:13px;font-weight:700}.comparison-metrics dd span{color:var(--muted)}.term-input input{border:1px solid var(--line-strong);width:100%;height:38px;color:var(--ink);background:var(--surface-subtle);border-radius:3px;outline:0;padding:0 10px;font-family:Cascadia Code,monospace;font-size:12px}.term-input input:focus-visible,textarea:focus-visible,select:focus-visible,summary:focus-visible,button:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.input-hint{color:var(--muted);margin:14px 0 0;font-size:11px;line-height:1.5}.input-error{color:#c53939;margin:12px 0 0;font-size:12px}.control-actions{gap:8px;margin-top:20px;display:grid}.primary-action,.secondary-action{letter-spacing:.02em;border-radius:3px;min-height:40px;font-size:12px;font-weight:700}.primary-action{border:1px solid var(--accent);color:#fff;background:var(--accent)}.primary-action:disabled{cursor:not-allowed;opacity:.45}.secondary-action{border:1px solid var(--line-strong);color:var(--ink);background:0 0}.state-key{color:var(--muted);flex-wrap:wrap;justify-content:flex-end;gap:14px;font-size:11px;display:flex}.state-key span{align-items:center;gap:5px;display:flex}.state-key i{border:1px solid;width:9px;height:9px;display:inline-block}.view-toolbar{border-top:1px solid var(--line);justify-content:space-between;align-items:center;gap:14px;margin-top:18px;padding-top:14px;display:flex}.view-tabs{border:1px solid var(--line-strong);flex:none;display:inline-flex}.view-tabs button{border:0;border-right:1px solid var(--line-strong);min-width:84px;color:var(--muted);background:var(--surface-subtle);padding:7px 11px;font-size:11px;font-weight:700}.view-tabs button:last-child{border-right:0}.view-tabs button[aria-pressed=true]{color:#fff;background:var(--accent)}.circuit-workspace{width:100%;min-width:0}.circuit-toolbar{justify-content:space-between;align-items:center;gap:16px;margin-bottom:12px;display:flex}.circuit-counts{color:var(--muted);text-transform:uppercase;letter-spacing:.06em;gap:18px;font-size:10px;display:flex}.circuit-counts strong{color:var(--ink);font-size:13px}.circuit-controls{align-items:center;gap:6px;display:flex}.circuit-controls button{border:1px solid var(--line);min-height:30px;color:var(--ink);background:var(--surface-subtle);border-radius:3px;padding:5px 9px;font-size:11px}.circuit-controls output{min-width:44px;color:var(--muted);text-align:center;font-family:monospace;font-size:11px}.circuit-controls label{color:var(--muted);align-items:center;gap:5px;margin-left:6px;font-size:10px;display:flex}.circuit-canvas{border:1px solid var(--line);background-color:var(--surface-subtle);background-image:radial-gradient(var(--line) .7px,transparent .7px);background-size:16px 16px;width:100%;overflow:hidden}.circuit-canvas svg{width:100%;height:clamp(260px,42vw,520px);display:block}.circuit-nodes circle,.circuit-nodes rect,.circuit-nodes path{fill:var(--surface);stroke:var(--ink);stroke-width:2px;vector-effect:non-scaling-stroke}.circuit-nodes text{fill:var(--ink);text-anchor:middle;pointer-events:none;font-family:Cascadia Code,monospace;font-size:12px;font-weight:700}.circuit-edges path{fill:none;stroke:var(--accent);stroke-width:2px;vector-effect:non-scaling-stroke}.circuit-edges path:after{content:""}.signal-animated .circuit-edges path{stroke-dasharray:7 6;animation:1.2s linear infinite signal-flow}.circuit-empty{color:var(--muted);text-align:center;margin:30px auto}@keyframes signal-flow{to{stroke-dashoffset:-26px}}.verilog-workspace{width:100%;min-width:0}.verilog-toolbar{align-items:center;gap:8px;margin-bottom:12px;display:flex}.verilog-toolbar>div{gap:3px;margin-right:auto;display:grid}.verilog-toolbar>div strong{font-family:Cascadia Code,monospace;font-size:12px}.verilog-toolbar label{color:var(--muted);align-items:center;gap:5px;font-size:10px;display:flex}.verilog-toolbar button{border:1px solid var(--line);color:var(--ink);background:var(--surface-subtle);border-radius:3px;padding:7px 10px;font-size:11px}.verilog-toolbar .download-action{color:#fff;border-color:var(--accent);background:var(--accent)}.verilog-workspace pre{border:1px solid var(--line);max-height:540px;color:var(--ink);tab-size:2;background:#101820;margin:0;padding:18px;font-size:12px;line-height:1.65;overflow:auto}.verilog-workspace pre code{color:#d9e2ec}.hdl-keyword{color:#7db9ff;font-weight:700}.hdl-operator{color:#f2c56b}.input-summary{flex-wrap:wrap;justify-content:flex-end;gap:6px;min-width:0;display:flex}.input-summary code{border:1px solid var(--line);max-width:210px;color:var(--muted);background:var(--surface-subtle);text-overflow:ellipsis;white-space:nowrap;padding:4px 7px;font-size:9px;overflow:hidden}.function-surface.mode-both{grid-template-columns:minmax(0,1.6fr) minmax(330px,.65fr);align-items:start;gap:18px;display:grid}.key-one{color:var(--one);background:var(--one)}@supports (color:color-mix(in lab,red,red)){.key-one{background:color-mix(in srgb,var(--one) 15%,transparent)}}.key-x{color:var(--x);background:var(--x)}@supports (color:color-mix(in lab,red,red)){.key-x{background:color-mix(in srgb,var(--x) 15%,transparent)}}.map-scroll{padding:24px 4px 8px;overflow-x:auto}.five-variable-map{grid-template-columns:repeat(2,minmax(405px,1fr));gap:28px;min-width:850px;display:grid}.map-plane{min-width:390px}.kmap-header{grid-template-columns:72px 1fr;display:grid}.axis-corner{border-right:1px solid var(--line-strong);border-bottom:1px solid var(--line-strong);min-height:48px;color:var(--muted);font-family:Cascadia Code,monospace;font-size:10px;position:relative}.axis-corner:after{content:"";background:linear-gradient(to top right,transparent 49%,var(--line-strong) 49.5%,var(--line-strong) 50.5%,transparent 51%);position:absolute;inset:0}.axis-corner span{z-index:1;position:absolute;top:3px;right:7px}.axis-corner strong{z-index:1;position:absolute;bottom:3px;left:7px}.column-axis{min-width:0}.axis-title{height:22px;color:var(--muted);letter-spacing:.08em;text-align:center;text-transform:uppercase;font-size:10px;font-weight:700}.column-labels{grid-template-columns:repeat(var(--kmap-columns,4),minmax(64px,1fr));border-bottom:1px solid var(--line-strong);align-items:center;height:26px;display:grid}.column-labels code{color:var(--muted);text-align:center;font-size:11px}.map-body{grid-template-columns:18px 1fr;display:grid}.row-axis-title{color:var(--muted);letter-spacing:.08em;text-transform:uppercase;writing-mode:vertical-rl;justify-content:center;align-items:center;font-size:9px;font-weight:700;display:flex;transform:rotate(180deg)}.map-rows{min-width:0}.map-row{grid-template-columns:54px repeat(var(--kmap-columns),minmax(64px,1fr));display:grid}.row-label{border-right:1px solid var(--line-strong);color:var(--muted);place-items:center;font-size:11px;display:grid}.kmap-cell{border:0;border-right:1px solid var(--line);border-bottom:1px solid var(--line);min-height:68px;color:var(--ink);background:var(--surface-subtle);position:relative;overflow:hidden}.kmap-cell:hover{z-index:2;background:var(--accent-soft)}.kmap-cell strong{font-family:Cascadia Code,monospace;font-size:19px}.kmap-cell.state-1{color:var(--one);background:var(--one)}@supports (color:color-mix(in lab,red,red)){.kmap-cell.state-1{background:color-mix(in srgb,var(--one) 9%,var(--surface))}}.kmap-cell.state-x{color:var(--x);background:var(--x)}@supports (color:color-mix(in lab,red,red)){.kmap-cell.state-x{background:color-mix(in srgb,var(--x) 10%,var(--surface))}}.kmap-cell.step-highlighted{z-index:1;box-shadow:inset 0 0 0 3px var(--accent)}@supports (color:color-mix(in lab,red,red)){.kmap-cell.step-highlighted{box-shadow:inset 0 0 0 3px color-mix(in srgb,var(--accent) 72%,transparent)}}.kmap-cell.step-highlighted{animation:.32s ease-out step-highlight}.cell-index{color:var(--muted);font-family:Cascadia Code,monospace;font-size:9px;font-weight:500;position:absolute;top:6px;left:7px}.group-overlay{z-index:1;pointer-events:none;width:100%;height:100%;position:absolute;inset:0;overflow:visible}.map-help{color:var(--muted);text-align:center;margin:13px 0 0;font-size:11px}.truth-table-view{min-width:300px;padding-top:22px}.truth-table-heading{justify-content:space-between;align-items:end;margin-bottom:9px;display:flex}.truth-table-heading h3{margin:2px 0 0;font-size:15px}.truth-table-heading>span{color:var(--muted);font-size:10px}.truth-table-scroll{border:1px solid var(--line-strong);max-height:470px;overflow:auto}.truth-table-view table{border-collapse:collapse;width:100%;color:var(--ink);text-align:center;font-family:Cascadia Code,monospace;font-size:11px}.truth-table-view th,.truth-table-view td{border-right:1px solid var(--line);border-bottom:1px solid var(--line);height:31px;padding:3px 7px}.truth-table-view th:last-child,.truth-table-view td:last-child{border-right:0}.truth-table-view thead th{z-index:2;color:var(--muted);background:var(--surface);letter-spacing:.05em;font-size:10px;position:sticky;top:0}.truth-table-view tbody th{color:var(--muted);background:var(--surface-subtle);font-size:9px;font-weight:500}.truth-output{border:1px solid var(--line-strong);width:28px;height:23px;color:var(--ink);background:var(--surface);border-radius:2px;padding:0;font-family:inherit;font-weight:700}.truth-output.state-1{border-color:var(--one);color:var(--one);background:var(--one)}@supports (color:color-mix(in lab,red,red)){.truth-output.state-1{background:color-mix(in srgb,var(--one) 10%,var(--surface))}}.truth-output.state-x{border-color:var(--x);color:var(--x);background:var(--x)}@supports (color:color-mix(in lab,red,red)){.truth-output.state-x{background:color-mix(in srgb,var(--x) 10%,var(--surface))}}.solution-panel.empty{align-items:center;gap:22px;min-height:88px;display:flex}.solution-toolbar{justify-content:space-between;align-items:center;gap:16px;margin-bottom:18px;display:flex}.solution-mode{border:1px solid var(--line-strong);display:inline-flex}.solution-mode button{border:0;border-right:1px solid var(--line-strong);color:var(--muted);background:var(--surface-subtle);padding:7px 12px;font-size:11px;font-weight:700}.solution-mode button:last-child{border-right:0}.solution-mode button[aria-pressed=true]{color:#fff;background:var(--accent)}.step-workspace{border-top:1px solid var(--line);grid-template-columns:240px minmax(0,1fr);gap:22px;padding-top:18px;display:grid}.step-list{align-content:start;gap:4px;display:grid}.step-list button{min-height:40px;color:var(--muted);text-align:left;background:0 0;border:1px solid #0000;grid-template-columns:26px 1fr;align-items:center;gap:8px;padding:5px 8px;display:grid}.step-list button span{border:1px solid var(--line-strong);place-items:center;width:22px;height:22px;font-family:Cascadia Code,monospace;font-size:10px;display:grid}.step-list button strong{font-size:11px}.step-list button[aria-current=step]{border-color:var(--accent);color:var(--ink);background:var(--accent-soft)}.step-list button[aria-current=step] span{border-color:var(--accent);color:#fff;background:var(--accent)}.step-detail{min-height:215px;padding:2px 2px 0;animation:.22s ease-out step-detail-in}.step-detail h2{margin:6px 0 8px;font-size:22px}.step-detail>p{max-width:760px;min-height:42px;color:var(--muted);margin:0;font-size:13px;line-height:1.6}.step-progress{color:var(--muted);justify-content:flex-end;align-items:center;gap:10px;margin-bottom:14px;font-size:10px;display:flex}.step-progress progress{width:120px;height:5px;accent-color:var(--accent)}.generated-terms{flex-wrap:wrap;align-items:center;gap:8px;margin-top:15px;display:flex}.generated-terms>span{color:var(--muted);letter-spacing:.06em;text-transform:uppercase;font-size:10px;font-weight:700}.generated-terms code{border:1px solid var(--line);color:var(--ink);background:var(--surface-subtle);padding:7px 10px;font-size:14px}.step-actions{justify-content:flex-end;gap:8px;margin-top:22px;display:flex}.step-actions button{border:1px solid var(--line-strong);min-width:90px;min-height:34px;color:var(--ink);background:0 0;border-radius:3px;font-size:11px;font-weight:700}.step-actions button:disabled{cursor:not-allowed;opacity:.4}.step-actions .next-step{border-color:var(--accent);color:#fff;background:var(--accent)}.rules-note{border-top:1px solid var(--line);align-items:center;gap:18px;margin-top:20px;padding-top:14px;display:flex}.rules-note strong{flex:none;font-size:11px}.rules-note ul{color:var(--muted);flex-wrap:wrap;gap:7px 22px;margin:0;padding:0;font-size:10px;list-style-position:inside;display:flex}@keyframes step-highlight{0%{box-shadow:inset 0 0 0 1px #0000}to{box-shadow:inset 0 0 0 3px color-mix(in srgb,var(--accent) 72%,transparent)}}@keyframes step-detail-in{0%{opacity:.35;transform:translateY(3px)}to{opacity:1;transform:translateY(0)}}.solution-panel.empty p{color:var(--muted);margin:0;font-size:12px}.solution-heading h2{margin:5px 0 0;font-family:Cascadia Code,monospace;font-size:clamp(19px,3vw,28px);font-weight:600}.solution-status{color:#23875a;letter-spacing:.08em;text-transform:uppercase;border:1px solid #44a878;padding:5px 8px;font-size:10px;font-weight:700}.solution-metrics{border-block:1px solid var(--line);color:var(--muted);gap:24px;margin:19px 0;padding:11px 0;font-size:11px;display:flex}.solution-metrics strong{color:var(--ink);margin-right:4px;font-family:Cascadia Code,monospace}.group-list{gap:7px;display:grid}.group-row{background:var(--surface-subtle);color:var(--muted);grid-template-columns:18px minmax(80px,.7fr) 80px minmax(120px,1.5fr) auto;align-items:center;gap:8px;padding:7px 9px;font-size:11px;display:grid}.group-row code{color:var(--ink);font-size:13px}.group-row strong{color:var(--accent);letter-spacing:.06em;text-transform:uppercase;font-size:9px}.group-swatch{border:3px solid;border-radius:3px;width:14px;height:14px}.alternatives{flex-wrap:wrap;align-items:center;gap:10px;margin-top:18px;display:flex}.alternatives code{border:1px solid var(--line);color:var(--ink);background:var(--surface-subtle);padding:5px 8px;font-size:11px}.solution-steps{background:var(--line);grid-template-columns:repeat(3,1fr);gap:1px;margin:20px 0 0;padding:0;list-style-position:inside;display:grid}.solution-steps li{background:var(--surface);padding:13px;font-size:11px}.solution-steps strong{margin-right:3px;display:inline}.solution-steps span{color:var(--muted);margin-top:5px;line-height:1.45;display:block}@media(max-width:820px){.app-header{padding:0 16px}.header-meta{display:none}.theme-toggle{margin-left:auto}.workspace{grid-template-columns:1fr;grid-template-areas:"controls""map""solution";padding:12px}.control-panel{grid-template-columns:1fr 1fr;gap:16px;display:grid}.panel-heading,.input-hint,.input-error{grid-column:1/-1}.control-actions{align-content:end;margin-top:0}.solution-steps,.step-workspace,.function-surface.mode-both{grid-template-columns:1fr}.view-toolbar,.circuit-toolbar{flex-direction:column;align-items:flex-start}.verilog-toolbar{flex-wrap:wrap;align-items:flex-start}.verilog-toolbar>div{width:100%}.circuit-controls{flex-wrap:wrap}.input-summary{justify-content:flex-start}.expression-comparison,.comparison-expressions{grid-template-columns:1fr}.comparison-metrics{border:0;padding:0}.step-list{grid-template-columns:repeat(5,minmax(0,1fr))}.step-list button{text-align:center;padding:6px;display:block}.step-list button span{margin:0 auto}.step-list button strong{display:none}}@media(max-width:540px){.help-panel{margin-left:auto}.help-panel summary{padding-inline:8px}.help-content{width:auto;position:fixed;top:62px;left:8px;right:8px}.help-content dl{grid-template-columns:1fr}.brand-copy p{display:none}.control-panel{display:block}.control-actions{margin-top:18px}.map-panel{padding:14px 10px}.state-key{display:none}.view-tabs{width:100%}.view-tabs button{flex:1;min-width:0}.map-plane{min-width:345px}.kmap-header{grid-template-columns:62px 1fr}.map-row{grid-template-columns:44px repeat(var(--kmap-columns),minmax(58px,1fr))}.kmap-cell{min-height:62px}.solution-metrics{flex-wrap:wrap;gap:10px 18px}.group-row{grid-template-columns:18px 1fr auto}.group-row span:nth-of-type(n+2){display:none}.rules-note{display:block}.rules-note ul{grid-template-columns:1fr 1fr;margin-top:8px;display:grid}}@media(prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;animation:none!important}}.app-shell{--space-1:4px;--space-2:8px;--space-3:12px;--space-4:16px;--space-5:20px;--space-6:24px;--radius-sm:2px;--radius-md:4px;--shadow-panel:0 1px 2px #0c141c0f;--transition-fast:.14s ease;--success:#14734b;--danger:#b52b36;background:#e9edf0}.app-shell[data-theme=dark]{--bg:#0b1016;--surface:#141b23;--surface-subtle:#10171e;--ink:#edf2f6;--muted:#9aa8b5;--line:#2d3944;--line-strong:#465563;--accent:#72aaf4;--accent-soft:#172b42;--success:#62c995;--danger:#ff7b86;background:var(--bg)}.app-header{z-index:20;height:60px;padding-inline:20px;position:sticky;top:0;box-shadow:0 1px #0000000a}.brand-mark{border-width:1px;width:30px;height:30px;font-size:13px}.brand-copy h1{letter-spacing:.01em;font-size:14px}.brand-copy p{font-size:9px}.header-action,.collapse-control{border:1px solid var(--line);border-radius:var(--radius-sm);min-height:28px;color:var(--muted);background:0 0;padding:4px 8px;font-size:10px;font-weight:700}.header-action{width:28px;margin-left:16px}.theme-toggle{border-radius:var(--radius-sm);margin-left:8px}.workspace{grid-template-columns:260px minmax(480px,1fr) minmax(300px,360px);grid-template-areas:"controls map solution""output output output";align-items:start;gap:12px;width:min(1880px,100%);padding:12px}.workspace.input-is-collapsed{grid-template-columns:120px minmax(480px,1fr) minmax(300px,360px)}.workspace.solution-is-collapsed{grid-template-columns:260px minmax(480px,1fr) 120px}.workspace.input-is-collapsed.solution-is-collapsed{grid-template-columns:120px minmax(480px,1fr) 120px}.control-panel,.map-panel,.solution-panel,.output-panel{border-color:var(--line);border-radius:var(--radius-md);box-shadow:var(--shadow-panel)}.control-panel,.map-panel,.solution-panel{min-height:0;padding:16px}.control-panel{position:sticky;top:72px}.solution-panel{max-height:calc(100vh - 84px);position:sticky;top:72px;overflow:auto}.output-panel{background:var(--surface);grid-area:output;min-width:0;padding:16px}.panel-heading,.output-heading{justify-content:space-between;align-items:flex-start;gap:10px;margin-bottom:16px;display:flex}.panel-heading h2,.output-heading h2{margin:3px 0 0;font-size:15px}.panel-collapsed{min-height:54px;padding:12px}.panel-collapsed .panel-heading,.panel-collapsed.output-panel .output-heading{margin:0}.panel-collapsed .panel-heading h2,.panel-collapsed.output-panel h2{font-size:12px}.solution-panel.panel-collapsed{overflow:hidden}.solution-panel.empty{justify-content:space-between}.solution-panel.empty .collapse-control{margin-left:auto}.solution-toolbar-actions,.output-actions{align-items:center;gap:8px;display:flex}.solution-panel:not(.panel-collapsed) .solution-toolbar{border-bottom:1px solid var(--line);padding-bottom:12px}.solution-panel .solution-mode{width:100%}.solution-panel .solution-mode button{flex:1}.solution-panel .solution-toolbar{flex-direction:column-reverse;align-items:stretch}.solution-toolbar-actions{justify-content:space-between}.solution-status{align-self:center}.solution-heading h2{font-size:21px}.solution-metrics{grid-template-columns:repeat(3,1fr);gap:8px;display:grid}.solution-metrics span{gap:3px;display:grid}.group-row{grid-template-columns:16px minmax(64px,1fr) auto}.group-row span:nth-of-type(n+2){display:none}.step-workspace{grid-template-columns:1fr;gap:14px}.step-list{grid-template-columns:repeat(5,minmax(0,1fr))}.step-list button{text-align:center;padding:5px;display:block}.step-list button span{margin:auto}.step-list button strong{display:none}.rules-note{display:block}.rules-note ul{grid-template-columns:1fr;gap:5px;margin-top:8px;display:grid}.map-panel{min-height:500px}.map-scroll{padding-top:18px}.output-heading{margin-bottom:12px}.output-content{border-top:1px solid var(--line);padding-top:14px}button,input,textarea{transition:border-color var(--transition-fast),background-color var(--transition-fast),color var(--transition-fast)}button:not(:disabled):hover{border-color:var(--accent);color:var(--accent)}.primary-action:not(:disabled):hover,.view-tabs button[aria-pressed=true]:hover,.input-mode-tabs button[aria-pressed=true]:hover,.solution-mode button[aria-pressed=true]:hover{color:#fff;background:var(--accent)}@supports (color:color-mix(in lab,red,red)){.primary-action:not(:disabled):hover,.view-tabs button[aria-pressed=true]:hover,.input-mode-tabs button[aria-pressed=true]:hover,.solution-mode button[aria-pressed=true]:hover{background:color-mix(in srgb,var(--accent) 86%,#000)}}.input-error{border-left:3px solid var(--danger);color:var(--danger);background:var(--danger);padding:8px 10px}@supports (color:color-mix(in lab,red,red)){.input-error{background:color-mix(in srgb,var(--danger) 7%,transparent)}}.equivalent{border:1px solid var(--success);padding:4px 7px}@supports (color:color-mix(in lab,red,red)){.equivalent{border:1px solid color-mix(in srgb,var(--success) 55%,transparent)}}.equivalent{background:var(--success);color:var(--success)!important}@supports (color:color-mix(in lab,red,red)){.equivalent{background:color-mix(in srgb,var(--success) 7%,transparent)}}.term-input input:hover,.expression-input textarea:hover{border-color:var(--accent)}@media(max-width:1180px){.workspace,.workspace.input-is-collapsed,.workspace.solution-is-collapsed,.workspace.input-is-collapsed.solution-is-collapsed{grid-template-columns:260px minmax(0,1fr);grid-template-areas:"controls map""solution solution""output output"}.control-panel,.solution-panel{max-height:none;position:static}.solution-panel .solution-toolbar{flex-direction:row}.solution-panel .solution-mode{width:auto}.step-workspace{grid-template-columns:220px 1fr}.step-list{grid-template-columns:1fr}.step-list button{text-align:left;display:grid}.step-list button strong{display:block}.rules-note,.rules-note ul{display:flex}}@media(max-width:760px){.app-header{padding-inline:10px}.export-bar{scrollbar-width:thin;justify-content:flex-start;overflow-x:auto}.export-actions{flex-wrap:nowrap;justify-content:flex-start}.export-actions>button,.map-export-control{flex:none}.header-meta,.header-action{display:none}.workspace,.workspace.input-is-collapsed,.workspace.solution-is-collapsed,.workspace.input-is-collapsed.solution-is-collapsed{grid-template-columns:minmax(0,1fr);grid-template-areas:"controls""map""solution""output";padding:8px}.control-panel{display:block}.map-panel{min-height:0;padding:12px 8px}.view-toolbar{overflow-x:auto}.view-tabs button{min-width:76px}.output-heading{flex-direction:column;align-items:stretch}.output-actions{justify-content:space-between;width:100%;min-width:0}.output-actions .view-tabs{flex:auto;width:auto}.output-actions .collapse-control{flex:none}.five-variable-map{gap:16px;min-width:760px}.map-plane{min-width:350px}.map-scroll{overscroll-behavior-inline:contain;scrollbar-width:thin}.expression-comparison{grid-template-columns:1fr}.solution-panel .solution-toolbar{flex-direction:column-reverse}.step-workspace{grid-template-columns:1fr}.step-list{grid-template-columns:repeat(5,minmax(0,1fr))}.step-list button{text-align:center;display:block}.step-list button strong{display:none}}@page{size:A4 portrait;margin:12mm}@media print{:root{color:#111827;background:#fff}body{background:#fff;min-width:0}.app-header,.export-bar,.workspace{display:none!important}.app-shell{color:#111827;background:#fff;min-height:0;overflow:visible}.print-report,.print-report[hidden]{color:#111827;background:#fff;width:100%;font-family:Arial,sans-serif;font-size:9pt;display:block!important}.print-report>header{border-bottom:1px solid #64748b;justify-content:space-between;align-items:baseline;padding-bottom:5mm;display:flex}.print-report h1{margin:0;font-size:20pt}.print-report header p{color:#475569;margin:0}.print-report section{break-inside:avoid;margin-top:7mm}.print-report h2{border-bottom:1px solid #cbd5e1;margin:0 0 3mm;padding-bottom:1.5mm;font-size:12pt}.print-summary dl{grid-template-columns:1fr 1fr;gap:2mm 8mm;margin:0;display:grid}.print-summary dl div{grid-template-columns:28mm 1fr;display:grid}.print-summary dt{color:#475569;font-weight:700}.print-summary dd{margin:0;font-family:monospace}.print-report ol{margin:0;padding-left:5mm}.print-report li{margin-bottom:2mm}.print-report li p{color:#334155;margin:0 0 0 2mm;display:inline}.print-report .map-scroll{padding:0;overflow:visible}.print-report .map-plane{min-width:0}.print-report .five-variable-map{grid-template-columns:1fr 1fr;gap:5mm;min-width:0}.print-report .kmap-cell{color:#111827;-webkit-print-color-adjust:exact;print-color-adjust:exact;background:#fff;min-height:12mm}.print-report .kmap-cell strong{font-size:12pt}.print-report .map-help,.print-report .circuit-toolbar,.print-report .truth-table-heading{display:none}.print-report .truth-table-scroll{max-height:none;overflow:visible}.print-report .truth-output{color:#111827;background:0 0;border:0}.print-report .print-table,.print-report .print-circuit{break-before:page}.print-report .circuit-canvas{background:#fff;border-color:#94a3b8}.print-report .circuit-canvas svg{height:120mm}.print-report .circuit-nodes circle,.print-report .circuit-nodes rect,.print-report .circuit-nodes path{fill:#fff;stroke:#111827}.print-report .circuit-nodes text{fill:#111827}}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}