.root-lens{--paper:#f7f6f2;--ink:#151515;--ink-2:#3d3d3a;--ink-3:#6f6f6a;--rule:#e2e1db;--strike:#c8471d;background:var(--paper);color:var(--ink);font-family:var(--font-stix), "STIX Two Text", Georgia, serif;-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;margin:0}.root-lens *,.root-lens :before,.root-lens :after{box-sizing:border-box}.root-lens :where(p,h1,h2){margin:0}.root-lens a{color:inherit;text-decoration:none}.root-lens ::selection{background:#1f47c929}.rl-ang{font-family:var(--font-math), "Noto Sans Math", var(--font-stix), serif}.rl-mono{font-family:var(--font-mono), ui-monospace, Menlo, monospace}.rl-dim{color:var(--ink-3);font-size:12px}.rl-nowrap{white-space:nowrap}.rl-short{display:none}.rl-page{--eq:clamp(38px, 3.47vw, 50px);flex-direction:column;min-height:100dvh;padding:40px clamp(24px,8.33vw,120px);display:flex}.rl-head{justify-content:space-between;align-items:baseline;gap:16px;display:flex}.rl-name-head{font-size:17px}.rl-state{flex-direction:column;flex:1;display:flex}.rl-eq{grid-template-columns:calc(var(--eq) * 5.24) calc(var(--eq) * 1.44) minmax(0, 1fr);align-items:baseline;margin-top:clamp(48px,12vh,118px);display:grid}.rl-lhs{font-size:var(--eq);letter-spacing:-.005em;white-space:nowrap;grid-area:1/1;font-weight:400;line-height:1.5}.rl-lhs-eq{display:none}.rl-op{font-size:var(--eq);text-align:center;line-height:1.5}.rl-op-eq{grid-area:1/2}.rl-op.r1{display:none}.rl-op.r2{grid-area:2/2}.rl-op.r3{grid-area:3/2}.rl-op.r4{grid-area:4/2}.rl-term.r1{grid-area:1/3}.rl-term.r2{grid-area:2/3}.rl-term.r3{grid-area:3/3}.rl-term.r4{border-bottom:0;grid-area:4/3}.rl-term{grid-template-columns:calc(var(--eq) * 6) minmax(0, 1fr) minmax(150px, 214px);border-bottom:1px solid var(--rule);align-items:baseline;column-gap:28px;padding:6px 0 12px;transition:opacity .18s ease-out;display:grid}.rl-term:focus-visible{outline:2px solid var(--lens);outline-offset:4px}.rl-ket{font-size:var(--eq);white-space:nowrap;line-height:1.4}.rl-coef{min-width:.62em;color:var(--ink-3);margin-right:.12em;font-size:.6em;display:inline-block;position:relative}.rl-half,.rl-new{transition:opacity .2s,transform .34s cubic-bezier(.2,.8,.2,1);display:inline-block}.rl-new{opacity:0;position:absolute;top:0;left:0;transform:translateY(.45em)}.rl-name{color:var(--lens)}.rl-desc{color:var(--ink-2);font-size:16.5px;line-height:1.45}.rl-where{flex-direction:column;gap:8px;display:flex}.rl-dom{font-family:var(--font-mono), ui-monospace, monospace;color:var(--lens);text-underline-offset:4px;font-size:12px}.rl-bar{background:var(--rule);height:2px;display:block;position:relative;overflow:hidden}.rl-fill{background:var(--lens);width:25%;transition:width .24s ease-out;position:absolute;inset:0 auto 0 0}:is(.rl-state[data-phase=idle] .rl-eq:has(.rl-term:hover) .rl-term:not(:hover),.rl-state[data-phase=idle] .rl-eq:has(.rl-term:focus-visible) .rl-term:not(:focus-visible)){opacity:.3}.rl-state[data-phase=idle] .rl-term:hover .rl-fill,.rl-state[data-phase=idle] .rl-term:focus-visible .rl-fill{width:100%}.rl-term:hover .rl-dom,.rl-term:focus-visible .rl-dom{text-decoration:underline}.rl-state[data-phase=superposed] .rl-fill{animation:.64s ease-in-out both rl-amp;animation-delay:calc(var(--i) * -.16s)}@keyframes rl-amp{0%{width:25%}25%{width:72%}50%{width:6%}75%{width:58%}to{width:25%}}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term:not(.is-chosen){opacity:.25}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term:not(.is-chosen) .rl-fill{width:0}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term.is-chosen .rl-fill{width:100%}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-half{opacity:0;transform:translateY(-.45em)}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-new{opacity:1;transform:none}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term:not(.is-chosen) .rl-new{text-decoration:line-through;-webkit-text-decoration-color:var(--strike);text-decoration-color:var(--strike);text-decoration-thickness:1.5px}.rl-state:is([data-phase=measured],[data-phase=collapsed]) .rl-term.is-chosen .rl-new{color:var(--ink)}.rl-collapse{z-index:50;opacity:0;pointer-events:none;place-items:center;transition:opacity .3s;display:grid;position:fixed;inset:0}.rl-state[data-phase=collapsed] .rl-collapse{opacity:1}.rl-collapse:before,.rl-collapse:after{content:"";pointer-events:none;position:absolute}.rl-collapse-eq{z-index:1;text-align:center;opacity:0;font-size:clamp(30px,4vw,54px);line-height:1.3;transition:opacity .3s .2s,transform .4s .2s;position:relative;transform:translateY(8px)}.rl-state[data-phase=collapsed] .rl-collapse-eq{opacity:1;transform:none}.rl-collapse-term{color:var(--lens)}.rl-collapse-dom{font-family:var(--font-mono), ui-monospace, monospace;color:var(--lens);margin-top:10px;font-size:13px;display:block}.rl-collapse[data-lens=dev]:before{transform-origin:0;background:#e3e3df;height:1px;transition:transform .38s .3s;top:52px;left:clamp(24px,15vw,224px);right:clamp(24px,15vw,224px);transform:scaleX(0)}.rl-collapse[data-lens=ee]{background-image:radial-gradient(#dcd8c8 .9px,#0000 1px);background-size:20px 20px}.rl-collapse[data-lens=ee]:before,.rl-collapse[data-lens=ee]:after{clip-path:inset(0 100% 100% 0);border:1px solid #57533f;transition:clip-path .38s .3s}.rl-collapse[data-lens=ee]:before{inset:14px}.rl-collapse[data-lens=ee]:after{border-width:1.6px;transition-delay:.42s;inset:36px}.rl-collapse[data-lens=physics]{background-image:linear-gradient(#e7e4d5 1px,#0000 1px),linear-gradient(90deg,#e7e4d5 1px,#0000 1px);background-size:24px 24px}.rl-collapse[data-lens=physics]:before{transform-origin:top;background:#d27a5c;width:1.5px;transition:transform .38s .3s;top:0;bottom:0;left:clamp(22px,11.7vw,168px);transform:scaleY(0)}.rl-collapse[data-lens=academic]:before{opacity:0;background:#fbf8f0;width:min(540px,82vw);height:min(764px,84vh);transition:opacity .3s .28s,transform .42s cubic-bezier(.2,.8,.2,1) .28s;top:50%;left:50%;transform:translate(-50%,-46%)scale(.97);box-shadow:0 1px #0000000d}.rl-state[data-phase=collapsed] .rl-collapse[data-lens=dev]:before{transform:scaleX(1)}.rl-state[data-phase=collapsed] .rl-collapse[data-lens=ee]:before,.rl-state[data-phase=collapsed] .rl-collapse[data-lens=ee]:after{clip-path:inset(0)}.rl-state[data-phase=collapsed] .rl-collapse[data-lens=physics]:before{transform:scaleY(1)}.rl-state[data-phase=collapsed] .rl-collapse[data-lens=academic]:before{opacity:1;transform:translate(-50%,-50%)}.rl-sentence{margin-top:36px;margin-left:calc(var(--eq) * 6.68);max-width:760px;font-size:20px;line-height:1.5}.rl-dagger{font-family:var(--font-mono), ui-monospace, monospace;color:#8a8a84;margin-left:3px;font-size:11px}.rl-bottom{grid-template-columns:minmax(0,1fr) auto;align-items:end;gap:40px;margin-top:auto;padding-top:48px;display:grid}.rl-foot{flex-direction:column;gap:10px;display:flex}.rl-footnote{max-width:720px;color:var(--ink-3);font-size:14px;line-height:1.5}.rl-contact{color:var(--ink-3);flex-wrap:wrap;align-items:baseline;gap:6px 1.2em;font-size:12px;display:flex}.rl-contact .rl-norm{font-family:var(--font-stix), serif;color:var(--ink);margin-right:1em;font-size:15px}.rl-contact a:hover{color:var(--ink);text-underline-offset:3px;text-decoration:underline}.rl-random{border:1px solid var(--ink);min-height:46px;color:var(--ink);font-family:var(--font-stix), serif;cursor:pointer;background:0 0;align-items:baseline;gap:12px;padding:13px 22px;font-size:16px;transition:background .15s,color .15s;display:inline-flex}.rl-random:hover:not(:disabled){background:var(--ink);color:var(--paper)}.rl-random:hover:not(:disabled) .rl-random-note{color:#b9b8b2}.rl-random:focus-visible{outline:2px solid var(--ink);outline-offset:3px}.rl-random:disabled{cursor:default}.rl-random-note{font-family:var(--font-mono), ui-monospace, monospace;color:var(--ink-3);font-size:11.5px}.rl-live{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}@media (max-width:1099px){.rl-page{--eq:40px}.rl-eq{grid-template-columns:calc(var(--eq) * .9) minmax(0, 1fr);margin-top:56px}.rl-lhs{font-size:calc(var(--eq) * 1.18);grid-column:1/-1;margin-bottom:10px;line-height:1.2}.rl-lhs-eq{display:inline}.rl-op-eq{display:none}.rl-op{font-size:calc(var(--eq) * .8);text-align:left;line-height:1.45}.rl-op.r1{grid-area:2/1;display:block}.rl-op.r2{grid-area:3/1}.rl-op.r3{grid-area:4/1}.rl-op.r4{grid-area:5/1}.rl-term.r1{grid-area:2/2}.rl-term.r2{grid-area:3/2}.rl-term.r3{grid-area:4/2}.rl-term.r4{grid-area:5/2}.rl-term{grid-template-columns:minmax(0,1fr);row-gap:6px;padding:12px 0 14px}.rl-ket{font-size:calc(var(--eq) * .85);line-height:1.15}.rl-where{gap:6px}.rl-bar{max-width:214px}.rl-sentence{margin-top:22px;margin-left:0;font-size:18px}.rl-bottom{display:contents}.rl-random{align-self:flex-start;margin-top:18px}.rl-foot{order:2;margin-top:auto;padding-top:36px}}@media (max-width:699px){.rl-page{--eq:34px;padding:22px 22px 28px}.rl-name-head{font-size:15px}.rl-eq{grid-template-columns:26px minmax(0,1fr);margin-top:48px}.rl-op{font-size:28px}.rl-desc{font-size:15px}.rl-dom{font-size:11px}.rl-long{display:none}.rl-short{display:inline}.rl-sentence{font-size:17px}.rl-random-note{display:none}.rl-footnote{font-size:13px}.rl-contact{font-size:11px}}@media (prefers-reduced-motion:reduce){.rl-term,.rl-fill,.rl-half,.rl-new{transition:none}}.rl-missing{justify-content:center;gap:18px}.rl-missing-eq{font-size:clamp(34px,5vw,56px);font-weight:400}.rl-missing-note{color:var(--ink-2);font-size:18px}.rl-link{text-underline-offset:4px;font-size:16px;text-decoration:underline!important}