:root{font-family:Fira Sans,Avenir Next,Avenir,Segoe UI,sans-serif;color:#1e2b27;background:#f3f2ed;font-synthesis:none;text-rendering:optimizeLegibility;--paper: #f3f2ed;--surface: #fffefa;--surface-raised: #ffffff;--ink: #1e2b27;--muted: #6b7772;--muted-2: #87918c;--line: #d9ddd7;--line-dark: #bdc6bf;--forest: #244039;--forest-2: #35564d;--rust: #b85e43;--rust-soft: #f5e7e0;--factor-a: #386c5e;--factor-b: #936346;--shadow: 0 10px 30px rgba(31, 48, 42, .045);--mono: "Fira Code", "SFMono-Regular", Consolas, monospace;font-optical-sizing:auto}*{box-sizing:border-box}body{margin:0;min-width:360px;min-height:100vh}button,input{font:inherit}button{color:inherit}button:focus-visible,input:focus-visible{outline:3px solid rgba(184,94,67,.48);outline-offset:3px}button:disabled{cursor:not-allowed}.app-shell{min-height:100vh}.topbar{height:66px;display:grid;grid-template-columns:270px 1fr auto;align-items:center;gap:24px;padding:0 34px;border-bottom:1px solid var(--line);background:#fffefaeb}.brand{display:flex;align-items:center;gap:11px}.brand-mark{width:37px;height:34px;display:grid;place-items:center;color:var(--forest)}.brand-mark svg{width:37px;height:30px}.brand-name{color:var(--ink);font-size:15px;font-weight:650;letter-spacing:-.045em}.brand-name span{color:var(--rust);font-weight:450}.brand-caption,.eyebrow,.operation-overline,.panel-index,.term-index,.expression-label,.term-count,.rule-badge{font-family:var(--mono);letter-spacing:.095em}.brand-caption{margin-top:2px;color:var(--muted-2);font-size:9px}.topbar-center{display:flex;align-items:center;gap:10px;color:var(--muted);font-size:13px}.breadcrumb-divider{color:var(--line-dark)}.breadcrumb-current{color:var(--ink);font-weight:550}.topbar-actions{display:flex;align-items:center;gap:12px}.save-state{display:flex;align-items:center;gap:7px;color:var(--muted);font-size:12px;white-space:nowrap}.save-state i,.status-pip{width:7px;height:7px;display:inline-block;border-radius:50%;background:#70957f}.quiet-button,.secondary-button,.history-step-button{min-height:40px;padding:0 13px;border:1px solid var(--line);border-radius:7px;background:var(--surface);color:var(--ink);font-size:12px;font-weight:550;transition:background-color .18s ease,border-color .18s ease,transform .18s ease;cursor:pointer}.quiet-button:hover:not(:disabled),.secondary-button:hover,.history-step-button:hover:not(:disabled){border-color:var(--line-dark);background:#f8f7f1}.quiet-button:disabled{color:var(--muted-2);opacity:.7}.workspace{display:grid;grid-template-columns:minmax(0,1fr) 278px;gap:24px;width:min(100%,1720px);margin:0 auto;padding:24px 28px 28px}.workspace--inspector-collapsed{grid-template-columns:minmax(0,1fr) 44px;gap:16px}.workbench{min-width:0}.workbench-heading{display:flex;justify-content:space-between;align-items:flex-end;gap:20px;margin:3px 0 18px}.eyebrow{margin:0 0 7px;color:var(--muted-2);font-size:9px;font-weight:600}.eyebrow span{padding:0 3px;color:var(--rust)}.workbench-heading h1{margin:0;color:var(--ink);font-size:clamp(22px,2.2vw,30px);font-weight:560;letter-spacing:-.055em}.subtitle{margin:7px 0 0;color:var(--muted);font-size:13px;line-height:1.5}.graph-counts{display:flex;gap:7px;flex-shrink:0}.graph-counts span{padding:7px 9px;border:1px solid var(--line);border-radius:5px;color:var(--muted);background:#fffefa94;font-size:10px;white-space:nowrap}.graph-counts strong{color:var(--ink);font-family:var(--mono);font-size:11px;font-weight:550}.operation-row{min-height:66px;display:flex;align-items:center;gap:13px;margin:0 0 14px;padding:10px 14px;border:1px solid var(--line);border-radius:9px;background:#fffefab8}.operation-overline{color:var(--muted-2);font-size:9px}.operation-chip{display:flex;align-items:center;gap:10px;margin-right:auto}.delta-symbol{width:37px;height:37px;display:grid;place-items:center;border:1px solid #dbc3b7;border-radius:8px;background:var(--rust-soft);color:var(--rust);font-family:Georgia,serif;font-size:22px}.operation-chip strong,.operation-chip small{display:block}.operation-chip strong{font-size:12px;font-weight:600}.operation-chip small{margin-top:2px;color:var(--muted);font-size:10px}.primary-button{min-height:42px;display:inline-flex;align-items:center;justify-content:center;gap:15px;padding:0 15px;border:1px solid var(--forest);border-radius:7px;background:var(--forest);color:#fffefa;font-size:12px;font-weight:600;cursor:pointer;transition:background-color .18s ease,transform .18s ease,box-shadow .18s ease}.primary-button:hover:not(:disabled){background:#31574d;box-shadow:0 3px 9px #2440391f}.primary-button:active:not(:disabled){transform:translateY(1px)}.primary-button:disabled{opacity:.5}.button-arrow{color:#c6d8cf;font-size:17px;line-height:1}.secondary-button{min-width:68px}.workspace-grid{display:grid;grid-template-columns:minmax(290px,.9fr) 44px minmax(450px,1.35fr);gap:12px;align-items:stretch}.panel{min-width:0;border:1px solid var(--line);border-radius:10px;background:var(--surface);box-shadow:var(--shadow)}.input-panel,.output-panel{min-height:454px;padding:16px 16px 14px}.panel-heading,.term-header,.section-title-row{display:flex;justify-content:space-between;align-items:center;gap:10px}.panel-heading{margin-bottom:8px}.panel-heading h2{margin:0;font-size:15px;font-weight:580;letter-spacing:-.025em}.panel-index{align-self:flex-start;padding-top:5px;color:var(--muted-2);font-size:10px}.example-picker{display:grid;grid-template-columns:auto minmax(0,1fr);align-items:center;gap:10px;margin:0 0 10px;color:var(--muted);font-size:11px}.example-picker select{width:100%;min-width:0;padding:8px 30px 8px 10px;border:1px solid var(--line);border-radius:5px;background:var(--surface-raised);color:var(--ink);font:inherit}.example-picker select:focus-visible{outline:3px solid rgba(184,94,67,.38);outline-offset:2px}.graph-editor{margin:0 0 10px;padding:9px;border:1px solid #e7e9e2;border-radius:6px;background:#fbfaf6}.graph-editor-heading{display:flex;justify-content:space-between;margin-bottom:7px;color:var(--muted-2);font-family:var(--mono);font-size:8px;letter-spacing:.08em}.graph-editor-actions{display:flex;flex-wrap:wrap;gap:5px}.editor-button{min-height:29px;padding:0 8px;border:1px solid var(--line);border-radius:4px;background:var(--surface);color:var(--ink);font-size:9px;cursor:pointer}.editor-button:hover:not(:disabled),.editor-button.is-active{border-color:#b8c9c0;background:#edf3ef}.editor-button--danger{color:#9a4f3b}.editor-button:disabled{color:var(--muted-2);opacity:.55;cursor:not-allowed}.editor-help{margin:7px 0 0;color:var(--muted);font-size:9px;line-height:1.4}.input-graph{min-height:340px;display:grid;place-items:center;overflow:hidden;border:1px solid #ebece6;border-radius:7px;background:radial-gradient(ellipse at center,#e8e8df6b,#fffefa00 68%),#fffefa}.graph-frame{width:100%;height:100%;min-height:0}.graph-frame--source{height:388px;display:flex;flex-direction:column}.graph-frame--factor{height:128px;min-height:0}.graph-camera-controls{min-height:48px;display:flex;align-items:center;gap:5px;padding:2px 7px;border-bottom:1px solid #ebece6;background:#fffefaf0}.camera-button{min-width:44px;height:44px;flex:0 0 auto;padding:0 10px;border:1px solid var(--line);border-radius:5px;background:var(--surface);color:var(--ink);font-size:11px;font-weight:600;cursor:pointer;transition:background .14s ease,border-color .14s ease}.camera-button--zoom{padding:0;font-size:19px;line-height:1}.camera-button:hover,.camera-button.is-active{border-color:#b8c9c0;background:#edf3ef}.camera-button:focus-visible{outline:3px solid rgba(184,94,67,.48);outline-offset:2px}.graph-camera-hint{min-width:0;margin-left:auto;color:var(--muted);font-size:9px;line-height:1.3;text-align:right}.graph-viewport{position:relative;width:100%;min-width:0;min-height:0;overflow:hidden;touch-action:none}.graph-frame--source .graph-viewport{flex:1}.graph-frame--factor .graph-viewport{height:100%}.graph-frame--source.is-panning .graph-canvas{pointer-events:none}.graph-frame--source.is-panning .graph-viewport{cursor:grab}.graph-frame--source.is-panning .graph-viewport:active{cursor:grabbing}.graph-canvas{min-height:0!important;width:100%!important;height:100%!important;border-radius:0!important;background:transparent!important;box-shadow:none!important}.graph-canvas svg{overflow:visible}.graph-canvas .links line{marker-end:none!important;stroke-linecap:round}.graph-canvas .nodes .node circle:first-child{stroke:#263b35;stroke-width:2.2px}.graph-canvas .nodes .node .selection-ring{opacity:0!important}.graph-canvas .nodes .node[data-selected=true] circle:first-child{fill:var(--rust)!important;stroke:#873f2b!important;stroke-width:3.5px!important}.graph-canvas .nodes .node[data-selected=true] .selection-ring{opacity:1!important;stroke:#873f2b!important;stroke-width:5px!important}.graph-canvas .links line[data-selected=true]{stroke:var(--rust)!important;stroke-width:5px!important}.graph-canvas .nodes .node text{font-family:var(--mono);font-size:10px;paint-order:stroke;stroke:#fffefa;stroke-width:3px;stroke-linejoin:round}.legend{display:flex;flex-wrap:wrap;gap:10px 15px;margin:12px 0 0;color:var(--muted);font-size:10px}.legend span{display:inline-flex;align-items:center;gap:6px}.legend i{display:inline-block;flex-shrink:0}.legend-vertex{width:10px;height:10px;border:1px solid var(--forest);border-radius:50%;background:var(--forest)}.legend-dummy{width:10px;height:10px;border:1px solid var(--forest);border-radius:50%;background:var(--surface)}.legend-edge{width:13px;height:1px;background:#72817b}.panel-note{margin:9px 0 0;color:var(--muted-2);font-size:10px}.transition-column{display:flex;flex-direction:column;align-items:center;justify-content:center;gap:10px;color:var(--muted-2);font-family:var(--mono);font-size:8px;letter-spacing:.07em}.transition-line{width:1px;flex:1;max-height:82px;background:linear-gradient(to bottom,transparent,#c7cfc8)}.transition-node{width:34px;height:34px;display:grid;place-items:center;border:1px solid #dec4b8;border-radius:50%;background:var(--rust-soft);color:var(--rust);font-family:Georgia,serif;font-size:17px}.term-count{padding:5px 7px;border:1px solid #d1dfd8;border-radius:4px;background:#edf3ef;color:var(--factor-a);font-size:9px}.output-export-actions{display:flex;align-items:center;justify-content:flex-end;gap:6px;flex-wrap:wrap}.output-export-button{min-width:0;min-height:28px;padding:0 8px;font-size:9px;white-space:nowrap}.expression-bar{display:flex;flex-direction:column;align-items:flex-start;gap:4px;margin:1px 0 10px;padding:7px 9px;border-radius:5px;background:#f4f2eb}.expression-label{color:var(--muted-2);font-size:8px}.expression{width:100%;min-width:0;overflow-x:auto;color:#273a33;font-size:clamp(13px,1vw,15px);text-align:left;white-space:normal}.expression .katex-display{margin:0;text-align:left}.term-list{display:grid;gap:8px}.term-card{overflow:hidden;border:1px solid #e4e6df;border-radius:7px;background:#fffefa;animation:term-enter .36s cubic-bezier(.2,.72,.24,1) both}.term-header{min-height:30px;align-items:flex-start;padding:6px 9px;border-bottom:1px solid #eceee8;background:#faf9f4}.term-index{color:var(--rust);font-size:8px;font-weight:600}.term-description{max-width:78%;color:var(--muted);font-size:9px;line-height:1.35;text-align:right}.factor-pair{display:grid;grid-template-columns:minmax(0,1fr) 22px minmax(0,1fr);align-items:center;min-height:140px;padding:6px 7px;animation:factor-enter .42s cubic-bezier(.18,.68,.2,1) both}.tensor-factor{min-width:0;height:132px;padding:4px 5px;border:1px solid #e8e9e3;border-radius:5px;background:#fbfaf6}.factor-heading{height:20px;display:flex;align-items:center;gap:6px;color:var(--muted);font-size:9px}.factor-letter{width:16px;height:16px;display:inline-grid;place-items:center;border-radius:4px;font-family:var(--mono);font-size:9px;font-weight:600}.factor-letter--a{background:#e4efea;color:var(--factor-a)}.factor-letter--b{background:#f1e8df;color:var(--factor-b)}.graph-frame--factor{height:100px}.tensor-product{display:grid;place-items:center;color:#85908a;font-family:Georgia,serif;font-size:19px}.empty-factor{height:99px;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:2px;color:#89938d}.empty-symbol{color:#87938d;font-size:27px;line-height:1}.empty-label{font-size:8px}.preview-note{display:flex;align-items:center;gap:6px;margin:8px 0 0;color:var(--muted-2);font-size:9px}.note-dot{width:6px;height:6px;border-radius:50%;background:var(--rust)}.output-placeholder{min-height:355px;display:flex;flex-direction:column;align-items:center;justify-content:center;color:var(--muted);text-align:center}.placeholder-glyph{width:52px;height:52px;display:grid;place-items:center;margin-bottom:12px;border:1px solid #e1d7cf;border-radius:50%;background:#f8f0eb;color:var(--rust);font-family:Georgia,serif;font-size:25px}.output-placeholder p{margin:0;color:var(--ink);font-size:12px;font-weight:550}.output-placeholder span{margin-top:6px;font-size:10px}.preview-note{line-height:1.4}@keyframes term-enter{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:translateY(0)}}@keyframes factor-enter{0%{opacity:.45;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}.history-panel{margin-top:14px;padding:13px 16px 10px;border:1px solid var(--line);border-radius:9px;background:#fffefad4}.history-heading{display:flex;align-items:center;justify-content:space-between}.history-heading h2{margin:0;font-size:12px;font-weight:580}.history-step{color:var(--ink);font-family:var(--mono);font-size:11px}.history-step i{padding:0 4px;color:var(--muted-2);font-style:normal}.history-controls{display:grid;grid-template-columns:105px minmax(80px,1fr) 105px;align-items:center;gap:12px;margin-top:5px}.history-step-button{min-height:36px;padding:0 9px;font-size:10px}.history-step-button:disabled{color:var(--muted-2);opacity:.6}.history-slider{width:100%;accent-color:var(--rust);cursor:pointer}.history-slider:disabled{cursor:default;opacity:.6}.history-track-labels{display:flex;justify-content:space-between;gap:10px;margin-top:2px;color:var(--muted-2);font-size:9px}.inspector{align-self:start;min-width:0;margin-top:2px;overflow:hidden;border:1px solid var(--line);border-radius:10px;background:var(--surface);box-shadow:var(--shadow)}.inspector-top{display:flex;align-items:center;justify-content:space-between;gap:10px;padding:16px 15px 13px;border-bottom:1px solid #e9ebe5;background:#faf9f4}.inspector-heading h2{margin:0;font-size:14px;font-weight:590}.inspector-toggle{width:36px;height:36px;flex:0 0 auto;display:inline-grid;place-items:center;border:1px solid var(--line);border-radius:5px;background:var(--surface);color:var(--ink);font-size:20px;line-height:1;cursor:pointer}.inspector-toggle:hover{border-color:var(--line-dark);background:#f8f7f1}.inspector-toggle:focus-visible,.element-group-toggle:focus-visible,.element-row:focus-visible{outline:3px solid rgba(184,94,67,.38);outline-offset:2px}.inspector.is-collapsed{width:44px}.inspector.is-collapsed .inspector-top{justify-content:center;padding:6px 3px;border-bottom:0}.inspector.is-collapsed .inspector-heading,.inspector-content[hidden],.element-group-items[hidden]{display:none}.inspector-section{padding:14px 15px;border-bottom:1px solid #eceee8}.section-title-row h3{margin:0;font-size:10px;font-weight:640;letter-spacing:.01em}.selection-type,.small-count,.rule-badge{padding:3px 5px;border:1px solid #e2e5df;border-radius:4px;color:var(--muted-2);font-size:8px}.selection-type{text-transform:uppercase;letter-spacing:.04em}.selection-card{display:flex;flex-direction:column;gap:3px;margin-top:10px;padding:9px 10px;border-left:2px solid var(--rust);background:#f8f4ee}.selection-name{color:var(--ink);font-family:var(--mono);font-size:11px}.selection-meta,.muted-copy{color:var(--muted);font-size:9px}.muted-copy{margin:9px 0 1px;line-height:1.5}.element-groups{display:grid;gap:7px;margin-top:10px}.element-group{overflow:hidden;border:1px solid #e8eae4;border-radius:5px;background:#fffefa}.element-group-toggle{width:100%;min-height:40px;display:flex;align-items:center;gap:8px;padding:0 9px;border:0;background:#f8f7f2;color:var(--ink);font-size:10px;font-weight:620;text-align:left;cursor:pointer}.element-group-toggle:hover{background:#f2f1eb}.element-group-toggle .small-count{margin-left:auto}.element-group-chevron{width:12px;color:var(--muted-2);font-size:16px;line-height:1;text-align:center}.element-group-items{display:grid;gap:2px;padding:4px}.element-group-empty{margin:5px 7px;color:var(--muted-2);font-size:9px}.element-row{min-height:40px;display:grid;grid-template-columns:10px minmax(0,1fr);align-items:center;gap:8px;padding:4px 6px;border:1px solid transparent;border-radius:4px;background:transparent;text-align:left;cursor:pointer}.element-row:hover,.element-row.is-selected{border-color:#e5e1d9;background:#f7f5ef}.element-mark{width:8px;height:8px;border:1px solid var(--forest);border-radius:50%}.element-mark--vertex{background:var(--forest)}.element-mark--dummy{background:var(--surface)}.element-mark--edge{width:10px;height:1px;border:0;border-radius:0;background:#72817b}.element-label{color:var(--ink);font-family:var(--mono);font-size:10px;line-height:1.25;overflow-wrap:anywhere}.element-copy{min-width:0;display:grid;gap:2px}.element-detail{color:var(--muted);font-size:9px;line-height:1.3;overflow-wrap:anywhere}.rule-badge{color:var(--factor-a);border-color:#d2e0d8;background:#edf3ef}.rule-section p,.scope-section ul,.scope-footnote{color:var(--muted);font-size:9px;line-height:1.55}.rule-section p{margin:9px 0 0}.scope-section ul{margin:9px 0 0;padding-left:14px}.scope-section li+li{margin-top:4px}.scope-footnote{margin:9px 0 0;color:var(--rust)}.inspector-footer{display:flex;align-items:center;gap:7px;padding:11px 15px;color:var(--muted-2);font-size:9px}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}@media(max-width:1450px){.workspace{grid-template-columns:minmax(0,1fr) 250px;gap:16px;padding:20px 20px 24px}.workspace--inspector-collapsed{grid-template-columns:minmax(0,1fr) 44px}.workspace-grid{grid-template-columns:minmax(260px,.9fr) 34px minmax(420px,1.3fr);gap:9px}.input-panel,.output-panel{padding:13px}.graph-camera-hint{display:none}}@media(max-width:1180px){.workspace,.workspace--inspector-collapsed{grid-template-columns:minmax(0,1fr)}.workspace-grid{grid-template-columns:minmax(250px,.9fr) 40px minmax(420px,1.3fr)}.inspector{display:grid;grid-template-columns:repeat(2,minmax(0,1fr))}.inspector.is-collapsed{width:auto}.inspector.is-collapsed .inspector-top{justify-content:space-between;padding:10px 14px}.inspector.is-collapsed .inspector-heading{display:block}.inspector.is-collapsed .inspector-heading .eyebrow{display:none}.inspector-top{grid-column:1 / -1}.inspector-section{border-right:1px solid #eceee8}.inspector-footer{grid-column:1 / -1}}@media(max-width:900px){.topbar{grid-template-columns:auto 1fr auto;gap:14px;padding:0 16px}.topbar-center{justify-content:center}.workspace{padding:17px 14px 22px}.workbench-heading{align-items:flex-start;flex-direction:column;gap:12px}.workspace-grid{grid-template-columns:minmax(0,1fr)}.transition-column{height:43px;flex-direction:row;justify-content:center}.transition-line{width:auto;height:1px;flex:1;max-height:none;background:linear-gradient(to right,transparent,#c7cfc8)}.input-panel,.output-panel{min-height:0}.output-placeholder{min-height:220px}.inspector{display:block}.inspector-toggle{width:44px;height:44px}.element-group-toggle,.element-row{min-height:44px}.inspector-section{border-right:0}}@media(max-width:620px){.topbar{height:58px;grid-template-columns:1fr auto}.topbar-center{display:none}.topbar-actions{gap:7px}.save-state{font-size:0}.save-state i{width:8px;height:8px}.workspace{padding:13px 10px 18px}.graph-counts{width:100%}.graph-counts span{flex:1;text-align:center}.graph-camera-controls{gap:4px;padding-right:5px;padding-left:5px}.graph-camera-hint{display:none}.operation-row{flex-wrap:wrap;gap:9px}.operation-overline{width:100%}.operation-chip,.primary-button{flex:1}.secondary-button{width:100%}.factor-pair{grid-template-columns:minmax(0,1fr) 17px minmax(0,1fr);padding:5px}.tensor-factor{padding:3px}.expression-bar{gap:3px}.history-controls{grid-template-columns:82px minmax(50px,1fr) 95px;gap:7px}.history-step-button{padding:0 6px;font-size:9px}.example-picker{grid-template-columns:1fr;gap:5px}.term-description{max-width:70%;text-align:right}.output-export-actions{gap:4px}.output-export-button{width:auto}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{scroll-behavior:auto!important;animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important}}