:root{font-family:system-ui,Avenir,Helvetica,Arial,sans-serif;line-height:1.5;font-weight:400;color:#f4f1ea;background-color:#090b0e;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}.app-layout a{font-weight:500;color:var(--accent);text-decoration:inherit}.app-layout a:hover{color:color-mix(in srgb,var(--accent) 80%,white)}body{margin:0;min-width:320px;min-height:100vh;background-color:#090b0e}h1{font-size:3.2em;line-height:1.1}.code-block-rust{padding:.35rem 0}.code-block-rust .cm-editor{font-family:Consolas,Monaco,Courier New,monospace;font-size:.92rem}.code-block-rust .cm-scroller{overflow:auto!important;font-family:inherit}.code-block-rust .cm-content{padding:.65rem 1.15rem}.code-block-rust .cm-gutters{display:none}.code-block-rust .cm-focused{outline:none}.debug-tabs,.input-tabs{display:flex;flex-wrap:nowrap;align-items:stretch;overflow:hidden;background:#2d2d2d;border-bottom:1px solid #404040;margin:0;padding:0;gap:0;flex-shrink:0;height:28px;box-sizing:border-box}.debug-tabs-leading{flex:0 0 auto;display:flex;align-items:center;padding:0 8px;border-right:1px solid #404040;min-width:0;max-width:min(360px,40vw)}.debug-tabs-trailing{flex:0 1 auto;display:flex;align-items:center;margin-left:auto;padding:0 10px;border-left:1px solid #404040;min-width:0;max-width:55%;overflow:hidden}.debug-tabs-items{display:flex;flex:1 1 auto;min-width:0;overflow-x:auto;overflow-y:hidden}.tab-btn{background:#2d2d2d;border:none;color:#ccc;padding:8px 16px;cursor:pointer;font-size:11px;font-weight:500;transition:all .15s;border-right:1px solid #404040;white-space:nowrap;min-width:fit-content;height:28px;box-sizing:border-box;letter-spacing:normal;position:relative;border-radius:0}.debug-tabs-items .tab-btn:first-child{border-left:1px solid #404040}.tab-btn:hover{background:#2a2a2a;color:#fff}.tab-btn.active{background:#1e1e1e;color:#fff;box-shadow:inset 0 -2px #007acc}.tab-btn.active:after{display:none}.tab-btn:disabled{opacity:.55;cursor:not-allowed}@media(max-width:900px){.debug-tabs{gap:0}.tab-btn{padding:6px 8px;font-size:11px}}.report-summary-line{font-size:11px;font-family:Consolas,Monaco,Courier New,monospace;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;color:#ccc;line-height:1}.report-summary-count,.report-summary-label{color:#ccc}.report-summary-count.report-summary-equal{color:#4caf50}.report-summary-count.report-summary-unmatched{color:#ff9800}.report-summary-count.report-summary-errors{color:#ff5252}.report-summary-count.report-summary-total{color:#569cd6}.editors-flex{display:flex;width:100%;gap:0;box-sizing:border-box;flex:1 1 0}.editors-flex.topo-smt-full .editor-panel{flex:1 1 100%}.editor-panel{flex:1 1 0;min-width:0;min-height:0;display:flex;flex-direction:column;padding:0;margin:0;box-sizing:border-box;overflow:hidden;background:#1e1e1e;border-right:1px solid #404040}.editor-panel:last-child{border-right:none}@media(max-width:900px){.editors-flex{flex-direction:column;gap:0}.editor-panel{border-right:none;border-bottom:1px solid #404040}.editor-panel:last-child{border-bottom:none}}.report-errors-view{height:100%;overflow:auto;padding:12px 16px;background:#1e1e1e;box-sizing:border-box}.report-errors-empty{display:flex;align-items:center;justify-content:center;height:100%;color:#888;font-size:13px}.report-errors-section+.report-errors-section{margin-top:20px}.report-errors-heading{margin:0 0 8px;padding-bottom:6px;border-bottom:1px solid #404040;color:#fff;font-size:12px;font-weight:600;letter-spacing:normal}.report-errors-list{margin:0;padding:0;list-style:none}.report-errors-item{padding:6px 0;color:#ff5252;font-family:Consolas,Monaco,Courier New,monospace;font-size:12px;line-height:1.45;white-space:pre-wrap;word-break:break-word;border-bottom:1px solid #2a2a2a}.report-errors-item:last-child{border-bottom:none}.editor-content{flex:1 1 0;min-height:0;height:100%;display:flex;flex-direction:column;background:#1e1e1e}.editor-content .cm-theme,.editor-content .cm-editor{font-family:Consolas,Monaco,Courier New,monospace;font-size:15px;background:#1e1e1e!important;border:none!important;border-radius:0!important;box-shadow:none!important;padding:0!important;margin:0!important;height:100%!important;flex:1 1 0;box-sizing:border-box;overflow:auto;color:#e6e6e6}.editor-content .cm-editor .cm-scroller{overflow:auto!important;min-height:100%!important}.editor-content .smt-ansi{flex:1 1 0;height:100%;margin:0;padding:8px 12px;overflow:auto;background:#1e1e1e;color:#e6e6e6;font-family:Consolas,Monaco,Courier New,monospace;font-size:15px;white-space:pre;box-sizing:border-box}.editor-content .cm-content{min-height:100%!important;padding:8px 0!important}.editor-content .cm-focused{outline:none!important}.editor-content .cm-line{padding:0 16px!important}.editor-content .cm-gutters{background:#252526!important;border-right:1px solid #404040!important;color:#858585!important}.editor-content .cm-activeLineGutter,.editor-content .cm-activeLine{background:#2a2d2e!important}.editor-pane-empty{display:flex;align-items:center;justify-content:center;width:100%;height:100%;color:#888;font-size:13px}.editor-pane-heading{flex:0 0 auto;padding:6px 16px;background:#2d2d2d;border-bottom:1px solid #404040;color:#e6e6e6;font-size:13px;font-weight:600;letter-spacing:normal;line-height:1.2}.vertical-split-layout{display:flex;flex-direction:column;width:100%;height:100%;min-height:0;overflow:hidden}.vertical-split-pane{flex:1 1 0;min-height:0;display:flex;flex-direction:column;overflow:hidden;background:#1e1e1e;border-bottom:1px solid #404040}.vertical-split-pane:last-child{border-bottom:none}.vertical-split-pane .editor-content{flex:1 1 0;min-height:0;height:100%}.vertical-split-pane-label{flex:0 0 auto;padding:4px 10px;background:#2d2d2d;border-bottom:1px solid #404040;color:#aaa;font-size:10px;font-weight:600;letter-spacing:normal}.vertical-split-pane-label.src{color:#64b5f6}.vertical-split-pane-label.tgt{color:#81c784}.function-errors-list-view{height:100%;overflow:auto;padding:12px 16px;background:#1e1e1e;box-sizing:border-box}.function-errors-empty{display:flex;align-items:center;justify-content:center;height:100%;color:#888;font-size:13px}.topo-smt-status-indicator{flex-shrink:0;width:22px;height:22px;border-radius:4px;display:flex;align-items:center;justify-content:center;font-size:14px;font-weight:700;line-height:1;color:#fff;margin-right:4px}.topo-smt-status-indicator.equal{background:#4caf50}.topo-smt-status-indicator.fail{background:#ff5252}.topo-smt-status-indicator.unmatched{background:#ff9800}.debug-panel-inner{flex:1 1 0;min-width:0;height:100%;display:flex;flex-direction:column;overflow:hidden}.debug-panel-inner .debug-tabs{flex-shrink:0}.debug-panel-inner .debug-tabs-items{flex:1 1 auto}.debug-panel-inner .debug-tabs-items .tab-btn:first-child{border-left:none}.topo-smt-kir-pane{flex:1 1 0;min-height:0;display:flex;flex-direction:column;overflow:hidden}.debug-panel-inner .debug-panel-body .smt-ansi{height:100%}.debug-panel-inner .cm-theme,.debug-panel-inner .cm-editor{font-size:12px}.equivalence-detail-shell{flex:1 1 0;height:100%;width:100%;display:flex;flex-direction:row;overflow:hidden;background:#1e1e1e;position:relative}.equivalence-detail-navigator{flex:1 1 0;min-width:0;height:100%;position:relative;overflow:hidden}.debug-panel{flex:0 0 auto;height:100%;display:flex;flex-direction:row;background:#252526;border-left:1px solid #404040;overflow:hidden;min-width:240px;max-width:75%}.debug-panel-resizer{flex:0 0 6px;width:6px;cursor:col-resize;background:transparent;position:relative;touch-action:none}.debug-panel-resizer:after{content:"";position:absolute;top:0;bottom:0;left:2px;width:2px;background:#404040;transition:background .15s}.debug-panel-resizer:hover:after,.debug-panel-resizer:active:after{background:#007acc}.debug-panel-content{flex:1 1 0;min-width:0;height:100%;display:flex;flex-direction:column;overflow:hidden}.debug-panel-header{display:flex;align-items:center;padding:10px 12px;background:#2d2d2d;border-bottom:1px solid #404040;flex-shrink:0;gap:4px}.debug-panel-close{margin-left:auto;flex-shrink:0;width:30px;height:30px;padding:0;border:none;border-radius:4px;background:transparent;color:#aaa;font-size:26px;line-height:1;cursor:pointer;display:flex;align-items:center;justify-content:center}.debug-panel-close:hover{background:#3c3c3c;color:#fff}.debug-panel-body{flex:1 1 0;overflow:auto;min-height:0}.debug-panel-body .smt-ansi{margin:0;padding:12px;font-family:Consolas,Monaco,Courier New,monospace;font-size:12px;line-height:1.4;white-space:pre-wrap;word-break:break-word}.topo-smt-approx{color:#888;margin:0 4px;-webkit-user-select:none;user-select:none}.topo-smt-no-log{padding:12px;color:#888}.func-bubble{display:inline-flex;align-items:center;padding:2px 8px;border-radius:12px;font-family:Consolas,Monaco,Courier New,monospace;font-size:12px;color:#fff;font-weight:500}button.func-bubble{border:none;margin:0;font:inherit;color:inherit;appearance:none}.func-bubble.src{background-color:#1976d2}.func-bubble.tgt{background-color:#388e3c}.func-bubble.navigable{cursor:pointer}.func-bubble.navigable:hover,.func-bubble.navigable:focus-visible{filter:brightness(1.12);outline:1px solid rgba(255,255,255,.55);outline-offset:1px}.topo-smt-graph-host{height:100%;width:100%;position:relative;overflow:hidden}.topo-smt-graph{height:100%;width:100%;background:linear-gradient(#252525 1px,transparent 1px),linear-gradient(90deg,#252525 1px,transparent 1px);background-size:24px 24px;background-color:#1a1a1a}.topo-smt-empty{padding:16px;color:#888}.topo-smt-empty-overlay{position:absolute;inset:0;display:flex;align-items:center;justify-content:center;pointer-events:none;z-index:1}.match-list-view{height:100%;overflow:auto;padding:16px 20px 24px;box-sizing:border-box}.match-list-empty{height:100%;display:flex;align-items:center;justify-content:center;color:#888;padding:16px}.match-list-section{margin-bottom:20px}.match-list-section:last-child{margin-bottom:0}.match-list-section-title{margin:0 0 8px;font-size:13px;font-weight:600;color:#ccc;display:flex;align-items:center;gap:8px}.match-list-section-count{font-weight:500;font-size:11px;color:#888}.match-list-rows{display:flex;flex-direction:column;gap:4px}.match-list-row{display:flex;align-items:center;width:100%;text-align:left;padding:8px 10px;border:1px solid transparent;border-radius:4px;background:#252526;color:inherit;cursor:pointer}.match-list-row:hover{background:#2d2d2d;border-color:#404040}.match-list-row.selected{background:#2a3a4a;border-color:#007acc}.match-list-row-names{display:flex;align-items:center;gap:4px;flex-wrap:wrap;min-width:0}.equivalence-error-popover{position:fixed;z-index:1000;background:#1e1e1e;color:#e6e6e6;border:1px solid #333;border-radius:6px;box-shadow:0 4px 10px #0006;min-width:320px;max-width:560px;max-height:300px;overflow:auto;padding:10px}.equivalence-error-item{display:flex;align-items:flex-start;gap:6px;margin-bottom:6px}.equivalence-error-text{white-space:pre-wrap}.equivalence-error-btn{background:transparent;border:none;padding:0;margin-left:6px;cursor:pointer;display:inline-flex;align-items:center}.equivalence-result-badge{margin-right:8px;opacity:.9;display:inline-flex;align-items:center;gap:4px;position:relative;color:#e6e6e6}.equivalence-error-btn .topo-smt-status-indicator{margin-right:0}.editors-header-flex{display:flex;flex-direction:row;width:100%;background:#2d2d2d;border-bottom:1px solid #404040;height:40px;box-sizing:border-box}.editor-title-panel{flex:1 1 0;display:flex;justify-content:flex-start;align-items:center;padding:0 16px;background:#2d2d2d;border-right:1px solid #404040;gap:12px}.editor-title-panel:last-child{border-right:none}.editor-title-panel h2{color:#e6e6e6;font-size:13px;font-weight:600;margin:0;letter-spacing:normal;white-space:nowrap}.editor-title-panel-actions{display:flex;align-items:center}.editor-title-panel-spacer{margin-left:auto;display:inline-flex;align-items:center}.inline-selector{background:#3c3c3c;border:1px solid #555;color:#e6e6e6;padding:4px 8px;font-size:12px;border-radius:0;min-width:140px;font-family:inherit;height:24px;box-sizing:border-box;margin-left:8px}.inline-selector:focus{outline:none;border-color:#007acc}.translate-btn{margin:0 0 0 auto;padding:0;width:64px;height:28px;font-size:16px;background:#007acc;color:#fff;border:none;border-radius:0;cursor:pointer;display:flex;align-items:center;justify-content:center;transition:background .15s;font-weight:700}.translate-btn:hover{background:#005a9e}.translate-btn:disabled{background:#555;cursor:not-allowed}@media(max-width:900px){.editors-header-flex{flex-direction:column;height:auto}.editor-title-panel{border-right:none;border-bottom:1px solid #404040;height:32px}.editor-title-panel:last-child{border-bottom:none}.translate-btn{width:40px;height:32px}}.editor-container{width:100vw;height:100vh;max-height:100vh;max-width:100vw;min-width:0;margin:0!important;padding:0!important;background:#1e1e1e;border-radius:0;box-shadow:none;text-align:left;box-sizing:border-box;display:flex;flex-direction:column;overflow:hidden}.app-flex{flex:1 1 0;display:flex;flex-direction:row;min-height:0;min-width:0;overflow:hidden}.main-column{flex:1 1 0;min-width:0;min-height:0;display:flex;flex-direction:column}.rose-demo{position:fixed;inset:0;z-index:1000;background:#1e1e1e;overflow:hidden}.rose-demo-back{display:inline-flex;align-items:center;justify-content:center;flex:0 0 auto;width:28px;height:28px;margin-right:4px;color:#e6e6e6;text-decoration:none;border-radius:4px;transition:color .15s,background .15s}.rose-demo-back:hover{color:#fff;background:#3c3c3c}.rose-demo .editor-container{width:100%;height:100%;max-height:100%;max-width:100%}.app-layout{--bg: #090b0e;--text: #f4f1ea;--muted: #9b968c;--accent: #0a95ff;--surface: #12151c;position:relative;isolation:isolate;min-height:100vh;display:flex;flex-direction:column;color:var(--text);background:var(--bg)}.app-layout>*:not(.site-ambient){position:relative;z-index:1}.app-layout main{flex:1;background:transparent}.container{width:100%;max-width:60rem;margin:0 auto;padding:0 1.25rem;box-sizing:border-box}.site-ambient{position:fixed;inset:0;z-index:0;pointer-events:none;overflow:hidden;background:var(--bg)}.site-ambient:before,.site-ambient:after{content:"";position:absolute;border-radius:50%;filter:blur(80px);will-change:transform,opacity}.site-ambient:before{width:min(75vw,560px);height:min(75vw,560px);top:-15%;left:-10%;background:radial-gradient(circle,color-mix(in srgb,var(--accent) 18%,transparent) 0%,transparent 70%);animation:ambient-drift-a 42s ease-in-out infinite;opacity:.55}.site-ambient:after{width:min(70vw,520px);height:min(70vw,520px);right:-12%;bottom:-5%;background:radial-gradient(circle,rgba(90,140,255,.12) 0%,transparent 70%);animation:ambient-drift-b 37s ease-in-out infinite;opacity:.5}.site-ambient-grain{position:absolute;inset:0;opacity:.045;background-image:url("data:image/svg+xml,%3Csvg viewBox='0 0 200 200' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.85' numOctaves='4' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)'/%3E%3C/svg%3E");background-repeat:repeat;background-size:180px 180px}@keyframes ambient-drift-a{0%{transform:translate(0) scale(1)}25%{transform:translate(35vw,20vh) scale(1.2)}50%{transform:translate(20vw,45vh) scale(.95)}75%{transform:translate(45vw,10vh) scale(1.15)}to{transform:translate(0) scale(1)}}@keyframes ambient-drift-b{0%{transform:translate(0) scale(1)}25%{transform:translate(-30vw,-25vh) scale(1.15)}50%{transform:translate(-45vw,-5vh) scale(1.25)}75%{transform:translate(-15vw,-35vh) scale(.9)}to{transform:translate(0) scale(1)}}@media(prefers-reduced-motion:reduce){.site-ambient:before,.site-ambient:after{animation:none}}.site-header{position:sticky;top:0;background:color-mix(in srgb,var(--bg) 72%,transparent);-webkit-backdrop-filter:saturate(160%) blur(10px);backdrop-filter:saturate(160%) blur(10px);border-bottom:1px solid color-mix(in srgb,var(--text) 8%,transparent);z-index:100}.nav{display:flex;align-items:center;justify-content:space-between;height:64px}.brand{display:inline-flex;align-items:center;gap:.5rem;font-weight:700;letter-spacing:.2px;color:var(--accent);text-decoration:none}.brand:hover{color:var(--accent)}.nav-links{display:flex;gap:1rem}.nav-link{padding:.25rem .5rem;color:var(--muted);transition:color .2s}.nav-link:hover{color:var(--text)}.nav-link.active{font-weight:700;color:var(--accent)}.hero{padding:4rem 0 2rem}.hero-head{display:flex;align-items:center;gap:1rem}.hero-actions{margin-top:1.5rem;display:flex;gap:1rem;justify-content:center}.app-layout .btn{border-radius:10px;border:1px solid transparent;padding:.8em 1.2em;font-weight:600;background:var(--accent);color:var(--bg)}.app-layout .btn.secondary{background:transparent;border-color:var(--text);color:var(--text)}.site-footer{border-top:1px solid color-mix(in srgb,var(--text) 8%,transparent);margin-top:0;background:color-mix(in srgb,var(--surface) 80%,transparent);color:var(--muted)}.footer-inner{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding:1.25rem 0;flex-wrap:wrap}.band{width:100%;padding:4rem 0 3rem;background:transparent}.band.alt{background:transparent}.hero-section{min-height:42vh;display:flex;flex-direction:column;justify-content:center;align-items:center;width:100%;box-sizing:border-box}.band.hero-section{padding-top:3rem;padding-bottom:1.5rem}.band.hero-section+.band{padding-top:1.5rem}.hero-content{text-align:center;width:100%;max-width:60rem;margin:0 auto;box-sizing:border-box}.hero-title{font-size:clamp(2.5rem,8vw,3.5rem);font-weight:600;margin:0 0 .75rem;line-height:1.1;color:var(--accent)}.hero-subtitle{margin:0;font-size:clamp(1.15rem,3vw,1.4rem);font-weight:400;color:var(--muted);letter-spacing:.02em}.hero-text{font-size:1.25rem;line-height:1.6;margin:0 0 2rem;color:var(--text);opacity:.92}.hero-link{display:inline-block;font-size:1.1rem;font-weight:500;text-decoration:none;color:var(--accent);transition:opacity .2s}.hero-link:hover{opacity:.8}.rose-color,.rose-color-light{color:var(--accent)}.rose-screenshot{display:block;width:100%;height:auto;margin:0;border-radius:8px;border:1px solid color-mix(in srgb,var(--text) 10%,transparent)}.info-box{background:var(--surface);border:1px solid color-mix(in srgb,var(--text) 10%,transparent);border-radius:12px;padding:1.25rem 1.5rem 1.5rem}.info-box+.info-box{margin-top:1.5rem}.info-box-header{display:flex;align-items:center;justify-content:space-between;gap:1rem;margin-bottom:1rem}.info-box-header h2{margin:0}.info-box>:last-child{margin-bottom:0}.project-list{list-style:none;margin:0;padding:0}.project-item+.project-item{margin-top:1rem;padding-top:1rem;border-top:1px solid color-mix(in srgb,var(--text) 10%,transparent)}.project-item:has(.project-action){display:flex;align-items:center;justify-content:space-between;gap:1rem}.project-item-main{min-width:0;flex:1 1 auto}.project-item-top{display:flex;align-items:center;justify-content:space-between;gap:1rem}.project-title{font-size:1.1rem;font-weight:600;text-decoration:none;min-width:0}.project-action{flex:0 0 auto;padding:.4em .85em;font-size:.85rem;white-space:nowrap;text-decoration:none}.project-meta{flex:0 0 auto;font-size:.85rem;color:var(--muted)}.project-desc{margin:.35rem 0 0;font-size:.98rem;color:var(--muted);opacity:1;line-height:1.5}.social-link{display:inline-flex;align-items:center;gap:.45rem;font-size:1.05rem;font-weight:500;line-height:1;color:var(--accent);text-decoration:none}.social-link svg{font-size:1.35rem}.social-link:hover{color:color-mix(in srgb,var(--accent) 80%,white)}.code-block{display:block;margin:1rem 0 0;padding:1rem 1.15rem;overflow-x:auto;background:var(--bg);border:1px solid color-mix(in srgb,var(--text) 12%,transparent);border-radius:8px;color:var(--text);font-family:Consolas,Monaco,Courier New,monospace;font-size:.92rem;line-height:1.55;white-space:pre;tab-size:4}.code-block code{font-family:inherit;font-size:inherit;background:none;padding:0;color:inherit}.code-inline{display:inline;padding:.15em .4em;margin:0 .05em;background:var(--bg);border:1px solid color-mix(in srgb,var(--text) 12%,transparent);border-radius:4px;color:var(--text);font-family:Consolas,Monaco,Courier New,monospace;font-size:.9em;white-space:nowrap}.info-box>.code-block:first-child{margin-top:0}.content-section h1{font-size:2.5rem;font-weight:600;margin:0 0 1.5rem;line-height:1.2;color:var(--accent)}.content-section h2{font-size:1.5rem;font-weight:500;margin:3rem 0 1rem;line-height:1.3;color:var(--text)}.content-section .info-box-header h2{margin:0}.content-section h2:first-child{margin-top:0}.content-section p{font-size:1.1rem;line-height:1.7;margin:0 0 1.5rem;color:var(--text);opacity:.92}.content-section p:last-child{margin-bottom:0}.content-section .project-desc{margin:.35rem 0 0;font-size:.98rem;color:var(--muted);opacity:1;line-height:1.5}