:root{--bg-primary:oklch(98.5% .003 80);--bg-secondary:oklch(100% 0 0);--bg-card:transparent;--bg-card-hover:oklch(53% .07 130/.03);--bg-input:oklch(100% 0 0);--accent-1:oklch(53% .07 130);--accent-2:oklch(38% .05 130);--accent-3:oklch(48% .14 250);--text-primary:oklch(18% .006 80);--text-secondary:oklch(38% .006 80);--text-muted:oklch(58% .006 80);--border-subtle:oklch(92% .004 80);--border-accent:oklch(53% .07 130);--color-unsat:oklch(52% .14 140);--color-sat:oklch(56% .16 70);--color-unknown:oklch(52% .18 260);--color-error:oklch(50% .18 20);--color-timeout:oklch(46% .16 300);--glass-blur:0px;--glass-bg:#fff;--glass-border:#e6e4e0;--space-xs:.25rem;--space-sm:.5rem;--space-md:1rem;--space-lg:1.5rem;--space-xl:2rem;--space-2xl:3rem;--space-3xl:4rem;--radius-sm:4px;--radius-md:6px;--radius-lg:8px;--radius-xl:12px;--font-body:"IBM Plex Sans", system-ui, -apple-system, sans-serif;--font-heading:"Lora", "IBM Plex Sans", system-ui, serif;--font-mono:"IBM Plex Mono", monospace;--ease-out:cubic-bezier(.16, 1, .3, 1);--transition-fast:.15s var(--ease-out);--transition-base:.2s var(--ease-out);--transition-slow:.35s var(--ease-out)}[hidden]{display:none!important}*,:before,:after{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;font-size:16px}body{font-family:var(--font-body);background:var(--bg-primary);color:var(--text-secondary);min-height:100vh;line-height:1.6;overflow-x:hidden}.bg-grid{z-index:0;background:var(--bg-primary);pointer-events:none;position:fixed;inset:0}.app-container{z-index:1;background:var(--bg-primary);border:1px solid var(--border-subtle);width:92%;max-width:1500px;margin:40px auto;padding:0;position:relative}.header{padding:var(--space-lg) var(--space-xl);border-bottom:1px solid var(--border-subtle);background:var(--bg-secondary);justify-content:space-between;align-items:center;margin-bottom:0;display:flex}.header__brand{align-items:center;gap:var(--space-md);display:flex}.header__icon{color:var(--accent-1);align-items:center;font-size:2rem;line-height:1;display:inline-flex}.header__title{font-family:var(--font-heading);color:var(--text-primary);letter-spacing:-.01em;font-size:1.6rem;font-weight:700}.header__subtitle{color:var(--text-muted);font-size:.8rem;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.06em;font-weight:500}.header__nav{gap:var(--space-md);align-items:center;display:flex}.header__link{color:var(--text-secondary);border-radius:var(--radius-sm);border:1px solid var(--border-subtle);background:var(--bg-secondary);transition:all var(--transition-fast);align-items:center;gap:6px;padding:8px 16px;font-size:.875rem;font-weight:500;text-decoration:none;display:flex}.header__link:hover{color:var(--accent-1);border-color:var(--accent-1);background:#8c785305}.hero{text-align:center;padding:var(--space-3xl) var(--space-xl) var(--space-2xl);border-bottom:1px solid var(--border-subtle);background:var(--bg-primary)}.hero__heading{font-family:var(--font-heading);letter-spacing:-.01em;margin-bottom:var(--space-md);color:var(--text-primary);font-size:clamp(2.4rem,6vw,3.6rem);font-weight:700;line-height:1.15}.hero__accent{color:var(--accent-1);border-bottom:2px solid var(--accent-1);padding-bottom:2px;font-weight:700;display:inline-block}.hero__desc{color:var(--text-secondary);max-width:65ch;margin:0 auto var(--space-lg);font-size:1.1rem;line-height:1.7}.hero__badges{gap:var(--space-sm);flex-wrap:wrap;justify-content:center;display:flex}.badge{border-radius:var(--radius-sm);background:var(--bg-secondary);color:var(--text-primary);border:1px solid var(--border-subtle);letter-spacing:.01em;font-size:.78rem;font-weight:600;font-family:var(--font-mono);align-items:center;gap:6px;padding:6px 14px;display:inline-flex}.badge--gold{color:var(--color-sat);background:#b4530908;border-color:#b4530933}.panel{padding:var(--space-2xl) var(--space-xl);background:0 0;border:none;border-radius:0}.panel:hover{border-color:inherit}.panel__title{font-family:var(--font-heading);margin-bottom:var(--space-xl);align-items:center;gap:var(--space-sm);color:var(--text-primary);letter-spacing:-.01em;font-size:1.25rem;font-weight:700;display:flex}.panel__icon{color:var(--accent-1);align-items:center;font-size:1.2rem;display:inline-flex}.main-grid{border-bottom:1px solid var(--border-subtle);grid-template-columns:1fr 1fr;gap:0;margin-bottom:0;display:grid}.upload-panel{border-right:1px solid var(--border-subtle);background:var(--bg-secondary)}.results-panel{background:var(--bg-primary)}.upload-zone{border:1px dashed var(--border-subtle);border-radius:var(--radius-sm);padding:var(--space-xl) var(--space-lg);text-align:center;cursor:pointer;transition:all var(--transition-base);margin-bottom:var(--space-md);background:var(--bg-secondary);outline:none;position:relative}.upload-zone:hover,.upload-zone:focus-visible{border-color:var(--accent-1);background:color-mix(in oklch, var(--accent-1), transparent 99%)}.upload-zone.drag-over{border-color:var(--accent-1);background:color-mix(in oklch, var(--accent-1), transparent 97%);transform:scale(1.005)}.upload-zone.has-file{border-color:var(--color-unsat);background:color-mix(in oklch, var(--color-unsat), transparent 98%)}.upload-zone__icon{margin-bottom:var(--space-sm);opacity:.8;color:var(--accent-1);align-items:center;font-size:2rem;display:inline-flex}.upload-zone__label{color:var(--text-primary);margin-bottom:4px;font-size:.95rem;font-weight:600}.upload-zone__hint{color:var(--text-muted);font-size:.78rem}.upload-zone__file{justify-content:center;align-items:center;gap:var(--space-sm);padding:var(--space-sm) var(--space-md);display:flex}.upload-zone__filename{font-family:var(--font-mono);color:var(--color-unsat);font-size:.85rem;font-weight:600}.upload-zone__filesize{color:var(--text-muted);font-size:.75rem;font-family:var(--font-mono)}.upload-zone__remove{background:var(--bg-secondary);border:1px solid var(--border-subtle);border-radius:var(--radius-sm);color:var(--text-muted);cursor:pointer;transition:all var(--transition-fast);font-size:.8rem;font-weight:500;font-family:var(--font-mono);padding:2px 6px;position:relative}.upload-zone__remove:before{content:"";position:absolute;inset:-10px}.upload-zone__remove:hover{color:#fff;background:var(--color-error);border-color:var(--color-error)}.options-row{gap:var(--space-md);margin-bottom:var(--space-xl);display:flex}.option-group{flex:1}.option-label{color:var(--text-primary);text-transform:uppercase;letter-spacing:.05em;margin-bottom:6px;font-size:.78rem;font-weight:600;display:block}.option-input-wrap{align-items:center;gap:6px;display:flex}.option-input{background:var(--bg-secondary);border:1px solid var(--border-subtle);border-radius:var(--radius-sm);width:100%;color:var(--text-primary);font-family:var(--font-mono);transition:border-color var(--transition-fast);outline:none;padding:10px 14px;font-size:.875rem}.option-input:focus{border-color:var(--accent-1);box-shadow:0 0 0 2px #8c785326}.option-unit{color:var(--text-muted);white-space:nowrap;font-size:.75rem;font-family:var(--font-mono);font-weight:500}select.option-input{cursor:pointer;appearance:none;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='12' height='12' viewBox='0 0 24 24' fill='none' stroke='%238c7853' stroke-width='2'%3E%3Cpath d='M6 9l6 6 6-6'/%3E%3C/svg%3E");background-position:right 12px center;background-repeat:no-repeat;padding-right:32px}.btn{justify-content:center;align-items:center;gap:var(--space-sm);width:100%;padding:14px var(--space-xl);border:1px solid var(--accent-1);border-radius:var(--radius-sm);font-family:var(--font-body);cursor:pointer;transition:all var(--transition-base);letter-spacing:.01em;outline:none;font-size:.95rem;font-weight:600;display:inline-flex}.btn:hover:not(:disabled){transform:translateY(-1px)}#verify-btn .btn__icon-svg{transform:translate(1.5px)}.btn--primary{background:var(--accent-1);color:#fff;border-color:var(--accent-1)}.btn--primary:hover:not(:disabled){background:var(--accent-2);border-color:var(--accent-2)}.btn--primary:active:not(:disabled){transform:translateY(1px)}.btn--primary:disabled{opacity:.4;cursor:not-allowed;background:var(--border-subtle);border-color:var(--border-subtle);color:var(--text-muted)}.header__icon-svg,.panel__icon-svg,.upload-zone__icon-svg,.btn__icon-svg,.badge__icon-svg{vertical-align:middle;color:inherit;flex-shrink:0;display:inline-block}.result-state{text-align:center;justify-content:center;align-items:center;gap:var(--space-md);flex-direction:column;min-height:280px;display:flex}.state-msg{color:var(--text-primary);font-size:.95rem;font-weight:500}.state-sub{color:var(--text-muted);font-family:var(--font-mono);font-variant-numeric:tabular-nums;font-size:.82rem}.neural-net-visual{margin-bottom:var(--space-md);opacity:.5;align-items:center;gap:24px;display:flex}.nn-layer{flex-direction:column;gap:8px;display:flex}.nn-layer span{background:var(--accent-1);border-radius:50%;width:10px;height:10px;animation:3s ease-in-out infinite nn-pulse}.nn-layer:nth-child(2) span{background:var(--color-unsat);animation-delay:.3s}.nn-layer:nth-child(3) span{background:var(--color-sat);animation-delay:.6s}.nn-layer:nth-child(4) span{background:var(--color-unknown);animation-delay:.9s}.nn-layer:nth-child(5) span{background:var(--accent-1);animation-delay:1.2s}@keyframes nn-pulse{0%,to{opacity:.3;transform:scale(.85)}50%{opacity:1;transform:scale(1)}}.spinner-ring{border:2px solid var(--border-subtle);border-top-color:var(--accent-1);border-radius:50%;width:44px;height:44px;animation:1s linear infinite spin}@keyframes spin{to{transform:rotate(360deg)}}.progress-bar{background:var(--border-subtle);border-radius:2px;width:100%;max-width:280px;height:4px;overflow:hidden}.progress-bar__fill{background:var(--accent-1);transform-origin:0;border-radius:2px;width:100%;height:100%;transition:transform 1s linear;transform:scaleX(0)}.btn--cancel{color:var(--color-error);margin-top:var(--space-md);background:#b91c1c0d;border:1px solid #b91c1c33;max-width:280px}.btn--cancel:hover{border-color:var(--color-error);background:#b91c1c1a}.result-badge{font-family:var(--font-heading);padding:var(--space-md) var(--space-2xl);border-radius:var(--radius-sm);border:1px solid var(--border-subtle);animation:result-pop .35s var(--ease-out);letter-spacing:-.01em;font-size:2rem;font-weight:700}@keyframes result-pop{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}.result-badge--unsat{color:var(--color-unsat);background:#15803d0d;border-color:#15803d26}.result-badge--sat{color:var(--color-sat);background:#b453090d;border-color:#b4530926}.result-badge--unknown,.result-badge--timeout{color:var(--color-unknown);background:#1d4ed80d;border-color:#1d4ed826}.result-badge--error{color:var(--color-error);background:#b91c1c0d;border-color:#b91c1c26;font-size:1.4rem}.result-details{width:100%;margin-top:var(--space-md)}.result-detail-row{border-bottom:1px solid var(--border-subtle);justify-content:space-between;padding:10px 0;display:flex}.result-detail-row:last-child{border-bottom:none}.result-detail-label{font-family:var(--font-mono);color:var(--text-secondary);font-size:.85rem;font-weight:500}.result-detail-value{font-family:var(--font-mono);color:var(--text-primary);font-variant-numeric:tabular-nums;font-size:.85rem;font-weight:600}.result-cex{margin-top:var(--space-md);border:1px solid var(--border-subtle);background:var(--bg-secondary);border-radius:var(--radius-sm);text-align:left}.result-cex summary{padding:10px var(--space-md);background:var(--bg-primary);border-bottom:1px solid var(--border-subtle);font-family:var(--font-mono);color:var(--accent-1);cursor:pointer;outline:none;font-size:.8rem;font-weight:600}.result-cex pre{padding:var(--space-md);background:var(--bg-secondary);font-family:var(--font-mono);color:var(--text-primary);white-space:pre-wrap;word-break:break-all;max-height:200px;margin:0;font-size:.75rem;overflow-y:auto}.terminal-panel{border-bottom:1px solid var(--border-subtle);background:var(--bg-primary);padding:var(--space-2xl) var(--space-xl)}.terminal-box{border:1px solid var(--border-subtle);border-radius:var(--radius-sm);text-align:left;background:#0d0c0b;flex-direction:column;width:100%;display:flex;overflow:hidden}.terminal-header{background:#181715;border-bottom:1px solid #ffffff0d;justify-content:space-between;align-items:center;padding:10px 16px;display:flex}.terminal-dots{gap:6px;display:flex}.dot{border-radius:50%;width:9px;height:9px}.dot--red{background:#df5a5a}.dot--yellow{background:#e2a54b}.dot--green{background:#60c470}.terminal-title{font-family:var(--font-mono);color:var(--accent-1);font-size:.75rem;font-weight:600}.terminal-scroll-toggle{color:var(--text-muted);cursor:pointer;-webkit-user-select:none;user-select:none;font-size:.72rem;font-family:var(--font-mono);align-items:center;gap:6px;display:flex}.terminal-body{background:#0d0c0b;max-height:600px;padding:16px;overflow-y:auto}.terminal-content{font-family:var(--font-mono);color:#dfdfd7;white-space:pre-wrap;word-break:break-all;margin:0;font-size:.75rem;line-height:1.5}.examples-panel{border-bottom:1px solid var(--border-subtle);background:linear-gradient(180deg, var(--bg-primary) 0%, var(--bg-secondary) 100%);padding:var(--space-2xl) var(--space-xl);margin-bottom:0}.examples-desc{color:var(--text-secondary);margin-bottom:var(--space-xl);font-size:.9rem}.examples-grid{gap:var(--space-xl);grid-template-columns:repeat(auto-fit,minmax(280px,1fr));display:grid}.example-card{background:var(--bg-primary);border:1px solid var(--border-subtle);border-radius:var(--radius-md);padding:var(--space-xl);cursor:pointer;transition:all var(--transition-normal);text-align:left;outline:none;position:relative;overflow:hidden;box-shadow:0 4px 12px #00000005}.example-card:hover,.example-card:focus-visible{border-color:var(--accent-1);transform:translateY(-3px);box-shadow:0 8px 24px #0000000f}.example-card__name{font-family:var(--font-heading);color:var(--text-primary);justify-content:space-between;align-items:center;margin-bottom:8px;font-size:1.15rem;font-weight:700;display:flex}.example-card__name:after{content:"→";font-family:var(--font-mono);color:var(--accent-1);opacity:0;transition:all var(--transition-normal);font-size:1.1rem;transform:translate(-5px)}.example-card:hover .example-card__name:after{opacity:1;transform:translate(0)}.example-card__desc{color:var(--text-secondary);margin-bottom:var(--space-md);font-size:.85rem;line-height:1.6}.example-card__files{flex-wrap:wrap;gap:8px;display:flex}.example-card__file{font-family:var(--font-mono);color:var(--text-muted);background:var(--bg-secondary);border:1px solid var(--border-subtle);border-radius:var(--radius-sm);padding:2px 8px;font-size:.72rem}.example-card--loading{pointer-events:none}.example-card--loading .example-card__name,.example-card--loading .example-card__desc{border-radius:var(--radius-sm);color:#0000;background:linear-gradient(90deg,#f5f5f4 25%,#e7e5e4 50%,#f5f5f4 75%) 0 0/200% 100%;animation:1.5s infinite shimmer}@keyframes shimmer{0%{background-position:200% 0}to{background-position:-200% 0}}.visualizer-panel{border-bottom:1px solid var(--border-subtle);background:var(--bg-primary);padding:var(--space-lg) var(--space-xl) 0;margin-bottom:0}.visualizer-panel .panel__title{margin-bottom:var(--space-md)}.visualizer-layout{grid-template-columns:1.2fr .8fr;gap:0;display:grid}.visualizer-col{padding:0 var(--space-xl) var(--space-lg);text-align:left;background:0 0;border:none;border-radius:0;flex-direction:column;display:flex}.visualizer-col:first-child{border-right:1px solid var(--border-subtle)}.visualizer-col-title{font-family:var(--font-heading);color:var(--text-primary);margin-bottom:4px;font-size:1.15rem;font-weight:700}.visualizer-desc{color:var(--text-secondary);margin-bottom:var(--space-xl);font-size:.85rem}.topology-container{flex-direction:column;gap:6px;max-height:320px;padding-right:4px;display:flex;overflow-y:auto}.topo-node{background:var(--bg-secondary);border:1px solid var(--border-subtle);border-radius:var(--radius-sm);transition:all var(--transition-fast);justify-content:space-between;align-items:center;padding:12px 16px;display:flex}.topo-node:hover{border-color:var(--accent-1);background:#8c785303}.topo-node__info{align-items:center;gap:12px;display:flex}.topo-node__icon{border:1px solid var(--border-subtle);border-radius:var(--radius-sm);font-size:.75rem;font-weight:600;font-family:var(--font-mono);padding:3px 8px}.topo-node__icon--input{background:color-mix(in oklch, var(--accent-3), transparent 95%);color:var(--accent-3)}.topo-node__icon--op{background:color-mix(in oklch, var(--accent-1), transparent 95%);color:var(--accent-1)}.topo-node__icon--relu{background:color-mix(in oklch, var(--color-sat), transparent 95%);color:var(--color-sat)}.topo-node__icon--output{background:color-mix(in oklch, var(--color-unsat), transparent 95%);color:var(--color-unsat)}.topo-node__name{font-family:var(--font-mono);color:var(--text-primary);font-size:.8rem;font-weight:500}.topo-node__shape{font-family:var(--font-mono);color:var(--text-secondary);border:1px solid var(--border-subtle);border-radius:var(--radius-sm);background:#8c785308;padding:2px 6px;font-size:.75rem}.topo-connector{color:var(--border-subtle);opacity:.7;justify-content:center;margin:-2px 0;font-size:.85rem;font-weight:500;display:flex}.bounds-container{flex-direction:column;gap:10px;max-height:320px;padding-right:4px;display:flex;overflow-y:auto}.bound-row{background:var(--bg-secondary);border:1px solid var(--border-subtle);border-radius:var(--radius-sm);padding:12px}.bound-row__header{justify-content:space-between;align-items:center;margin-bottom:6px;display:flex}.bound-row__name{font-family:var(--font-mono);color:var(--accent-1);font-size:.8rem;font-weight:600}.bound-row__values{font-family:var(--font-mono);color:var(--text-secondary);font-variant-numeric:tabular-nums;font-size:.72rem}.bound-row__bar{background:var(--bg-primary);border:1px solid var(--border-subtle);border-radius:var(--radius-sm);height:6px;position:relative;overflow:hidden}.bound-row__fill{background:var(--accent-1);border-radius:var(--radius-sm);width:100%;height:100%}.info-section{border-bottom:1px solid var(--border-subtle);background:var(--bg-secondary);text-align:left;grid-template-columns:1fr 1fr 1fr;gap:0;margin-bottom:0;display:grid}.info-card{padding:var(--space-2xl) var(--space-xl);background:0 0;border:none;border-radius:0}.info-card:not(:last-child){border-right:1px solid var(--border-subtle)}.info-card h4{font-family:var(--font-heading);margin-bottom:var(--space-sm);color:var(--text-primary);font-size:1.1rem;font-weight:700}.info-card p{color:var(--text-secondary);font-size:.85rem;line-height:1.7}.footer{text-align:center;padding:var(--space-2xl) var(--space-xl);background:var(--bg-secondary);color:var(--text-muted);font-size:.85rem}.footer a{color:var(--accent-1);transition:color var(--transition-fast);font-weight:500;text-decoration:underline}.footer a:hover{color:var(--text-primary)}.footer__sub{color:var(--text-muted);font-size:.78rem;font-family:var(--font-mono);margin-top:8px;font-weight:500}@media (width<=1024px){.main-grid{grid-template-columns:1fr}.upload-panel{border-right:none;border-bottom:1px solid var(--border-subtle)}.visualizer-layout{grid-template-columns:1fr}.visualizer-col:first-child{border-right:none;border-bottom:1px solid var(--border-subtle)}.info-section{grid-template-columns:1fr}.info-card:not(:last-child){border-right:none;border-bottom:1px solid var(--border-subtle)}}@media (width<=768px){.app-container{border:none;margin:0}.header{gap:var(--space-md);text-align:center;flex-direction:column}.hero__heading{font-size:2rem}.hero__badges{gap:6px}.badge{padding:4px 10px;font-size:.7rem}.options-row{flex-direction:column}.examples-grid{grid-template-columns:1fr}}.fade-in{animation:fadeIn .25s var(--ease-out)}@keyframes fadeIn{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:translateY(0)}}.terminal-panel:not([hidden]),.visualizer-panel:not([hidden]){animation:panelSlideIn .4s var(--ease-out) forwards}@keyframes panelSlideIn{0%{opacity:0;transform:translateY(12px)}to{opacity:1;transform:translateY(0)}}.topo-node{opacity:0;animation:nodeSlideIn .35s var(--ease-out) forwards;animation-delay:calc(var(--i,0) * 25ms)}.bound-row{opacity:0;animation:nodeSlideIn .35s var(--ease-out) forwards;animation-delay:calc(var(--i,0) * 30ms)}@keyframes nodeSlideIn{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:translateY(0)}}.example-card{opacity:0;animation:cardSlideIn .4s var(--ease-out) forwards;animation-delay:calc(var(--i,0) * 45ms)}@keyframes cardSlideIn{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:translateY(0)}}.model-stats-row{grid-template-columns:repeat(3,1fr);gap:12px;margin-bottom:20px;display:grid}.model-stat-card{background:var(--bg-secondary);border:1px solid var(--border-subtle);border-radius:var(--radius-md);text-align:center;transition:all var(--transition-normal);flex-direction:column;justify-content:center;align-items:center;padding:12px;display:flex;box-shadow:0 4px 12px #00000008}.model-stat-card:hover{border-color:var(--accent-1);transform:translateY(-2px);box-shadow:0 6px 16px #0000000d}.model-stat-value{font-family:var(--font-mono);color:var(--accent-1);margin-bottom:4px;font-size:1.25rem;font-weight:700}.model-stat-label{color:var(--text-muted);text-transform:uppercase;letter-spacing:.05em;font-size:.72rem}.spec-header-row{justify-content:space-between;align-items:center;margin-bottom:8px;display:flex}.btn-text-link{border:1px solid var(--border-subtle);border-radius:var(--radius-sm);color:var(--accent-1);font-family:var(--font-mono);cursor:pointer;transition:all var(--transition-fast);background:0 0;padding:4px 10px;font-size:.75rem}.btn-text-link:hover{background:var(--bg-secondary);border-color:var(--accent-1);color:var(--accent-1)}.raw-spec-container{background:var(--bg-secondary);border:1px solid var(--border-subtle);border-radius:var(--radius-md);flex-direction:column;margin-bottom:20px;display:flex;overflow:hidden;box-shadow:0 4px 12px #0000000d}.raw-spec-header{background:var(--bg-primary);border-bottom:1px solid var(--border-subtle);font-family:var(--font-mono);color:var(--text-primary);justify-content:space-between;align-items:center;padding:8px 12px;font-size:.8rem;font-weight:600;display:flex}.raw-spec-close{color:var(--text-muted);cursor:pointer;font-size:.75rem;font-family:var(--font-mono);background:0 0;border:none}.raw-spec-close:hover{color:var(--color-error)}.raw-spec-content{padding:var(--space-md);max-height:250px;font-family:var(--font-mono);color:var(--text-secondary);white-space:pre-wrap;word-wrap:break-word;text-align:left;background:#0003;margin:0;font-size:.75rem;line-height:1.5;overflow-y:auto}.spec-section-title{font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.05em;color:var(--text-secondary);border-bottom:1px dashed var(--border-subtle);text-align:left;margin-bottom:12px;padding-bottom:6px;font-size:.85rem;font-weight:600}.outputs-container{flex-direction:column;gap:8px;max-height:200px;padding-right:4px;display:flex;overflow-y:auto}.output-row{background:var(--bg-secondary);border:1px solid var(--border-subtle);border-radius:var(--radius-sm);font-family:var(--font-mono);color:var(--text-primary);white-space:pre-wrap;word-break:break-all;border-left:3px solid var(--color-sat);text-align:left;opacity:0;animation:nodeSlideIn .35s var(--ease-out) forwards;animation-delay:calc(var(--i,0) * 30ms);padding:10px 12px;font-size:.75rem;line-height:1.4}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}.options-container{background:var(--bg-primary);border:1px solid var(--border-subtle);border-radius:var(--radius-md);padding:var(--space-lg);margin-bottom:var(--space-xl);transition:all var(--transition-base)}.options-header{-webkit-user-select:none;user-select:none;color:var(--text-primary);justify-content:space-between;align-items:center;font-size:.85rem;font-weight:600;display:flex}.options-header:hover{color:var(--accent-1)}.options-section{border-top:1px solid var(--border-subtle);padding-top:var(--space-md);margin-top:var(--space-md)}.options-section-title{color:var(--accent-1);text-transform:uppercase;letter-spacing:.08em;margin-bottom:var(--space-md);font-size:.72rem;font-weight:700}.options-grid{gap:var(--space-md);grid-template-columns:repeat(auto-fit,minmax(130px,1fr));display:grid}.checkbox-grid{grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:12px;display:grid}.checkbox-label{color:var(--text-secondary);cursor:pointer;-webkit-user-select:none;user-select:none;align-items:center;gap:8px;font-size:.8rem;font-weight:500;display:flex}.checkbox-label input{accent-color:var(--accent-1);cursor:pointer}