@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(../media/KaTeX_AMS-Regular.3dqqgop8d9q74.woff2)format("woff2"),url(../media/KaTeX_AMS-Regular.3s3485bbs_y9t.woff)format("woff"),url(../media/KaTeX_AMS-Regular.06540o8ttgt08.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(../media/KaTeX_Caligraphic-Bold.0x398dszol8ix.woff2)format("woff2"),url(../media/KaTeX_Caligraphic-Bold.0i0ys3pk95qm_.woff)format("woff"),url(../media/KaTeX_Caligraphic-Bold.071y7fj7dknco.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(../media/KaTeX_Caligraphic-Regular.3ittfn7d21b9w.woff2)format("woff2"),url(../media/KaTeX_Caligraphic-Regular.3-a7ahrnv-1p0.woff)format("woff"),url(../media/KaTeX_Caligraphic-Regular.2a29kziuqmcwj.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(../media/KaTeX_Fraktur-Bold.3rq09ohrtely_.woff2)format("woff2"),url(../media/KaTeX_Fraktur-Bold.1m6-2-v71aefh.woff)format("woff"),url(../media/KaTeX_Fraktur-Bold.2c272neyw5p5h.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(../media/KaTeX_Fraktur-Regular.1jvgec053-2og.woff2)format("woff2"),url(../media/KaTeX_Fraktur-Regular.1pa447q_ni5m2.woff)format("woff"),url(../media/KaTeX_Fraktur-Regular.0_16ta522mcvb.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(../media/KaTeX_Main-Bold.22wkahef0u3fd.woff2)format("woff2"),url(../media/KaTeX_Main-Bold.1fyzqvxw_mkks.woff)format("woff"),url(../media/KaTeX_Main-Bold.3q46h05c4j0cw.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(../media/KaTeX_Main-BoldItalic.40drhxm0mwrzz.woff2)format("woff2"),url(../media/KaTeX_Main-BoldItalic.0g_mm5w89az4z.woff)format("woff"),url(../media/KaTeX_Main-BoldItalic.2r19jqj9qb5v7.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(../media/KaTeX_Main-Italic.1ck6crdmp78cu.woff2)format("woff2"),url(../media/KaTeX_Main-Italic.3h-lyz6-tj-5j.woff)format("woff"),url(../media/KaTeX_Main-Italic.07vrczmwpvimc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(../media/KaTeX_Main-Regular.29zz7337tzymc.woff2)format("woff2"),url(../media/KaTeX_Main-Regular.0r86ux5c2_9jc.woff)format("woff"),url(../media/KaTeX_Main-Regular.0cm4nk2aib81i.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(../media/KaTeX_Math-BoldItalic.0u_6s571--hh0.woff2)format("woff2"),url(../media/KaTeX_Math-BoldItalic.1-f92ydojzao_.woff)format("woff"),url(../media/KaTeX_Math-BoldItalic.0m2qm2_orz99k.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(../media/KaTeX_Math-Italic.18dmviy-uianu.woff2)format("woff2"),url(../media/KaTeX_Math-Italic.2d-roszuwfrpn.woff)format("woff"),url(../media/KaTeX_Math-Italic.1vw7gcigzv33_.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(../media/KaTeX_SansSerif-Bold.19n5ohjzvq40z.woff2)format("woff2"),url(../media/KaTeX_SansSerif-Bold.1ad0dh55v7-4h.woff)format("woff"),url(../media/KaTeX_SansSerif-Bold.3ojskmd7zv_b8.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(../media/KaTeX_SansSerif-Italic.38w085lqrghwm.woff2)format("woff2"),url(../media/KaTeX_SansSerif-Italic.0_21g6aey40vy.woff)format("woff"),url(../media/KaTeX_SansSerif-Italic.0abd80e_ako5h.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(../media/KaTeX_SansSerif-Regular.3w8wtfek3qsk6.woff2)format("woff2"),url(../media/KaTeX_SansSerif-Regular.0v2olaztuqa1v.woff)format("woff"),url(../media/KaTeX_SansSerif-Regular.0xkeldfcfvj58.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(../media/KaTeX_Script-Regular.10h737unm2jp7.woff2)format("woff2"),url(../media/KaTeX_Script-Regular.2m7-0wua2lvnq.woff)format("woff"),url(../media/KaTeX_Script-Regular.1hw1d7omwtnoy.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size1-Regular.3xype_vsmmjgw.woff2)format("woff2"),url(../media/KaTeX_Size1-Regular.3aliq3yd-ja9b.woff)format("woff"),url(../media/KaTeX_Size1-Regular.44z_qgcc9t0a_.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size2-Regular.2-wakugslvf3a.woff2)format("woff2"),url(../media/KaTeX_Size2-Regular.3u0df62zf5guy.woff)format("woff"),url(../media/KaTeX_Size2-Regular.3eprswoc9v3fh.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size3-Regular.1nfuh3l6nzhjv.woff2)format("woff2"),url(../media/KaTeX_Size3-Regular.3n7wm08wz2r2g.woff)format("woff"),url(../media/KaTeX_Size3-Regular.2kp2izz6g7r-7.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size4-Regular.13pyt7zi482pb.woff2)format("woff2"),url(../media/KaTeX_Size4-Regular.37jvrh2wknf5u.woff)format("woff"),url(../media/KaTeX_Size4-Regular.2ltjhs9xhaefy.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(../media/KaTeX_Typewriter-Regular.2vfnlegjq9l42.woff2)format("woff2"),url(../media/KaTeX_Typewriter-Regular.0xi5kyeeydv4z.woff)format("woff"),url(../media/KaTeX_Typewriter-Regular.34aedpl-_o3h3.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.18.9"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .reflectbox{display:inline-block;transform:scaleX(-1)}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}
.bloch-pulse-lab-module__ssKKnW__lab{border:1px solid var(--line);color:var(--ink);background:#fff;margin-top:32px;overflow:hidden}.bloch-pulse-lab-module__ssKKnW__heading{justify-content:space-between;align-items:flex-start;gap:20px;padding:28px 30px 0;display:flex}.bloch-pulse-lab-module__ssKKnW__eyebrow{color:#53636b;font-family:var(--type-mono);letter-spacing:.065em;text-transform:uppercase;margin-bottom:9px;font-size:.65rem;display:block}.bloch-pulse-lab-module__ssKKnW__heading h3{font-family:var(--type-serif);margin:0;font-size:clamp(1.4rem,2.4vw,1.8rem);font-weight:500;line-height:1.2}.bloch-pulse-lab-module__ssKKnW__status{color:#3c695b;font-family:var(--type-mono);white-space:nowrap;background:#eff5f2;padding:5px 9px;font-size:.62rem}.bloch-pulse-lab-module__ssKKnW__intro{color:#53636b;max-width:64ch;margin:13px 30px 0;font-size:.82rem;line-height:1.7}.bloch-pulse-lab-module__ssKKnW__workspace{grid-template-columns:minmax(0,1.15fr) minmax(250px,1fr);align-items:start;gap:18px;padding:8px 30px 25px;display:grid}.bloch-pulse-lab-module__ssKKnW__figure{min-width:0;margin:0;padding-top:15px}.bloch-pulse-lab-module__ssKKnW__sphere{width:100%;max-height:440px}.bloch-pulse-lab-module__ssKKnW__gridBack,.bloch-pulse-lab-module__ssKKnW__gridFront,.bloch-pulse-lab-module__ssKKnW__idealOrbit,.bloch-pulse-lab-module__ssKKnW__noisyOrbit,.bloch-pulse-lab-module__ssKKnW__idealBack,.bloch-pulse-lab-module__ssKKnW__idealFront,.bloch-pulse-lab-module__ssKKnW__noisyBack,.bloch-pulse-lab-module__ssKKnW__noisyFront,.bloch-pulse-lab-module__ssKKnW__meanBack,.bloch-pulse-lab-module__ssKKnW__meanFront,.bloch-pulse-lab-module__ssKKnW__ensembleBack,.bloch-pulse-lab-module__ssKKnW__ensembleFront{fill:none}.bloch-pulse-lab-module__ssKKnW__gridBack{stroke:#becad0;stroke-width:.8px;stroke-dasharray:3 5}.bloch-pulse-lab-module__ssKKnW__gridFront{stroke:#adbec7;stroke-width:.85px}.bloch-pulse-lab-module__ssKKnW__axis{stroke:#8194a0;stroke-width:1px}.bloch-pulse-lab-module__ssKKnW__axisBack{stroke:#bcc7cd;stroke-width:.8px;stroke-dasharray:3 4}.bloch-pulse-lab-module__ssKKnW__axisLabel{fill:#506577;text-anchor:middle;font-family:var(--type-serif);font-size:15px;font-style:italic}.bloch-pulse-lab-module__ssKKnW__ketLabel{fill:#526477;font-family:var(--type-mono);font-size:13px}.bloch-pulse-lab-module__ssKKnW__idealOrbit{stroke:#315ccf;stroke-width:1.3px;stroke-dasharray:3 5;opacity:.25}.bloch-pulse-lab-module__ssKKnW__noisyOrbit{stroke:#a33f66;stroke-width:1.3px;opacity:.25}.bloch-pulse-lab-module__ssKKnW__idealBack,.bloch-pulse-lab-module__ssKKnW__idealFront{stroke:#315ccf;stroke-width:2.2px;stroke-dasharray:5 4}.bloch-pulse-lab-module__ssKKnW__noisyBack,.bloch-pulse-lab-module__ssKKnW__noisyFront{stroke:#a33f66;stroke-width:2.6px}.bloch-pulse-lab-module__ssKKnW__meanBack,.bloch-pulse-lab-module__ssKKnW__meanFront{stroke:#236b53;stroke-width:2.8px}.bloch-pulse-lab-module__ssKKnW__idealBack,.bloch-pulse-lab-module__ssKKnW__noisyBack,.bloch-pulse-lab-module__ssKKnW__meanBack{opacity:.48}.bloch-pulse-lab-module__ssKKnW__noisyBack,.bloch-pulse-lab-module__ssKKnW__meanBack{stroke-dasharray:3 3}.bloch-pulse-lab-module__ssKKnW__ensembleBack,.bloch-pulse-lab-module__ssKKnW__ensembleFront{stroke:#a33f66;stroke-width:1px;opacity:.17}.bloch-pulse-lab-module__ssKKnW__ensembleBack{opacity:.1;stroke-dasharray:3 3}.bloch-pulse-lab-module__ssKKnW__ensembleDot{fill:#a33f66;opacity:.5}.bloch-pulse-lab-module__ssKKnW__idealVector{stroke:#315ccf;stroke-width:1.7px;stroke-dasharray:5 4}.bloch-pulse-lab-module__ssKKnW__meanVector{stroke:#236b53;stroke-width:2px}.bloch-pulse-lab-module__ssKKnW__pulseAxis{stroke:#7c8795;stroke-width:1.5px;stroke-dasharray:5 4}.bloch-pulse-lab-module__ssKKnW__pulseLabel{fill:#637080;font-size:16px;font-family:var(--type-serif);font-style:italic}.bloch-pulse-lab-module__ssKKnW__legend{color:#53636b;flex-wrap:wrap;justify-content:center;gap:8px 16px;margin-top:-5px;font-size:.62rem;display:flex}.bloch-pulse-lab-module__ssKKnW__legend span{align-items:center;gap:6px;display:inline-flex}.bloch-pulse-lab-module__ssKKnW__legend i{border-top:2px solid;width:14px;display:inline-block}.bloch-pulse-lab-module__ssKKnW__idealSwatch{color:#315ccf;border-top-style:dashed!important}.bloch-pulse-lab-module__ssKKnW__noisySwatch{color:#a33f66}.bloch-pulse-lab-module__ssKKnW__meanSwatch{color:#236b53}.bloch-pulse-lab-module__ssKKnW__ensembleControls{flex-wrap:wrap;justify-content:center;align-items:center;gap:10px 15px;margin-top:22px;font-size:.68rem;display:flex}.bloch-pulse-lab-module__ssKKnW__ensembleControls label{cursor:pointer;align-items:center;gap:5px;min-height:36px;display:inline-flex}.bloch-pulse-lab-module__ssKKnW__ensembleControls input{accent-color:#236b53}.bloch-pulse-lab-module__ssKKnW__ensembleControls button{min-height:36px;font:inherit;padding:7px 11px}.bloch-pulse-lab-module__ssKKnW__figureHint{color:#5a6972;text-align:center;max-width:48ch;margin:12px auto 0;font-size:.66rem;line-height:1.7}.bloch-pulse-lab-module__ssKKnW__controls{min-width:0;padding-top:20px}.bloch-pulse-lab-module__ssKKnW__initialRow{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:8px 15px;padding-bottom:20px;font-size:.73rem;display:flex}.bloch-pulse-lab-module__ssKKnW__lab select{max-width:100%;min-height:36px;color:var(--ink);font:inherit;background:#fff;border:1px solid #b7c4c9;border-radius:3px;padding:7px 8px}.bloch-pulse-lab-module__ssKKnW__amplitudes{gap:17px;display:grid}.bloch-pulse-lab-module__ssKKnW__controlLabel{justify-content:space-between;align-items:baseline;gap:10px;display:flex}.bloch-pulse-lab-module__ssKKnW__controlLabel label{font-family:var(--type-serif);font-size:1.05rem}.bloch-pulse-lab-module__ssKKnW__controlLabel label span{color:#5a6972;font-family:var(--type-sans);margin-left:11px;font-size:.66rem}.bloch-pulse-lab-module__ssKKnW__controlLabel output{color:#315ccf;font-family:var(--type-mono);font-size:.82rem}.bloch-pulse-lab-module__ssKKnW__sliderRow{align-items:center;gap:9px;margin-top:7px;display:flex}.bloch-pulse-lab-module__ssKKnW__lab button{cursor:pointer;background:#fff;border:1px solid #b7c4c9;border-radius:3px;transition:background .15s}.bloch-pulse-lab-module__ssKKnW__lab button:hover{background:#edf2fa}.bloch-pulse-lab-module__ssKKnW__lab button:disabled{cursor:default;opacity:.35}.bloch-pulse-lab-module__ssKKnW__sliderRow button{flex:0 0 32px;width:32px;height:32px;font-size:1rem}.bloch-pulse-lab-module__ssKKnW__lab input[type=range]{accent-color:#315ccf;cursor:pointer;width:100%;min-width:0;height:25px;margin:0;display:block}.bloch-pulse-lab-module__ssKKnW__lab :focus-visible{outline-offset:3px;outline:2px solid #315ccf}.bloch-pulse-lab-module__ssKKnW__presets{align-items:center;gap:7px;margin-top:21px;display:flex}.bloch-pulse-lab-module__ssKKnW__presets span{color:#5a6972;margin-right:4px;font-size:.65rem}.bloch-pulse-lab-module__ssKKnW__presets button{min-width:33px;min-height:30px;padding:4px 9px;font-size:.7rem}.bloch-pulse-lab-module__ssKKnW__hint{color:#5a6972;margin:16px 0 0;font-size:.68rem;line-height:1.65}.bloch-pulse-lab-module__ssKKnW__environment{border-top:1px solid #dde3e6;gap:17px;margin-top:22px;padding-top:18px;display:grid}.bloch-pulse-lab-module__ssKKnW__numberSetting{grid-template-columns:minmax(0,1fr) 118px;align-items:center;gap:6px 12px;font-size:.7rem;display:grid}.bloch-pulse-lab-module__ssKKnW__numberSetting label{line-height:1.5}.bloch-pulse-lab-module__ssKKnW__numberSetting label span{color:#5a6972;margin-top:3px;font-size:.62rem;display:block}.bloch-pulse-lab-module__ssKKnW__numberSetting input{width:100%;min-width:0;min-height:36px;color:var(--ink);font-family:var(--type-mono);background:#fff;border:1px solid #b7c4c9;border-radius:3px;padding:7px 8px;font-size:.7rem}.bloch-pulse-lab-module__ssKKnW__numberSetting input[aria-invalid=true]{border-color:#a33f66}.bloch-pulse-lab-module__ssKKnW__inputError{color:#963558;grid-column:1/-1;font-size:.65rem;line-height:1.65}.bloch-pulse-lab-module__ssKKnW__presetRow{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:8px;font-size:.7rem;display:flex}.bloch-pulse-lab-module__ssKKnW__presetRow select{width:100%;min-width:0}.bloch-pulse-lab-module__ssKKnW__demoNote{color:#764729;background:#faf2e9;margin:0;padding:10px 12px;font-size:.66rem;line-height:1.65}.bloch-pulse-lab-module__ssKKnW__noiseSettings{border-top:1px solid #e5e9eb;border-bottom:1px solid #e5e9eb;font-size:.7rem}.bloch-pulse-lab-module__ssKKnW__noiseSettings summary{cursor:pointer;padding:12px 0}.bloch-pulse-lab-module__ssKKnW__noiseInputs{gap:14px;padding-top:6px;display:grid}.bloch-pulse-lab-module__ssKKnW__noiseSettings p{color:#5a6972;margin:15px 0;font-size:.65rem;line-height:1.7}.bloch-pulse-lab-module__ssKKnW__sampleNote{color:#5a6972;margin:0;font-size:.65rem;line-height:1.7}.bloch-pulse-lab-module__ssKKnW__sampleNote output{color:#8f3659;font-family:var(--type-mono);display:inline-block}.bloch-pulse-lab-module__ssKKnW__transport{background:#f8fafb;border-top:1px solid #dde3e6;flex-wrap:wrap;align-items:center;gap:18px;padding:19px 30px;display:flex}.bloch-pulse-lab-module__ssKKnW__transportButtons{gap:8px;display:flex}.bloch-pulse-lab-module__ssKKnW__transportButtons button{white-space:nowrap;min-height:36px;padding:8px 13px;font-size:.7rem}.bloch-pulse-lab-module__ssKKnW__transportButtons .bloch-pulse-lab-module__ssKKnW__play{color:#fff;background:#315ccf;border-color:#315ccf;min-width:95px}.bloch-pulse-lab-module__ssKKnW__transportButtons .bloch-pulse-lab-module__ssKKnW__play:hover{background:#264cad}.bloch-pulse-lab-module__ssKKnW__timeControl{flex:1;min-width:140px}.bloch-pulse-lab-module__ssKKnW__timeControl label{font-family:var(--type-mono);justify-content:space-between;gap:8px;font-size:.64rem;display:flex}.bloch-pulse-lab-module__ssKKnW__timeControl input{margin-top:3px!important}.bloch-pulse-lab-module__ssKKnW__playback{color:#5a6972;align-items:center;gap:8px;font-size:.63rem;display:flex}.bloch-pulse-lab-module__ssKKnW__readouts{border-top:1px solid #dde3e6;grid-template-columns:minmax(0,1.6fr) minmax(0,1fr) minmax(0,1fr);gap:22px 18px;padding:22px 30px;display:grid}.bloch-pulse-lab-module__ssKKnW__readouts>div{min-width:0}.bloch-pulse-lab-module__ssKKnW__readouts>div>span{color:#5a6972;font-size:.62rem;line-height:1.6;display:block}.bloch-pulse-lab-module__ssKKnW__readouts strong{font-family:var(--type-mono);overflow-wrap:anywhere;margin-top:7px;font-size:.73rem;font-weight:500;display:block}.bloch-pulse-lab-module__ssKKnW__ensembleNote{color:#5a6972;margin:0;padding:0 30px 22px;font-size:.66rem;line-height:1.7}.bloch-pulse-lab-module__ssKKnW__model{background:#fafbf9;border-top:1px solid #dde3e6;padding:19px 30px 22px}.bloch-pulse-lab-module__ssKKnW__model .bloch-pulse-lab-module__ssKKnW__equation{color:#263c4b;font-family:var(--type-serif);flex-wrap:wrap;gap:12px 28px;margin:0 0 8px;font-size:1rem;display:flex}.bloch-pulse-lab-module__ssKKnW__model>p:last-child{color:#5a6972;max-width:90ch;margin:0;font-size:.66rem;line-height:1.7}.bloch-pulse-lab-module__ssKKnW__model a{color:#315ccf;text-underline-offset:3px;text-decoration:underline}.bloch-pulse-lab-module__ssKKnW__noScript{background:#eef2fa;margin:0;padding:16px 30px;font-size:.75rem;line-height:1.7}@media (max-width:700px){.bloch-pulse-lab-module__ssKKnW__heading{gap:10px;padding:23px 20px 0}.bloch-pulse-lab-module__ssKKnW__intro{margin-inline:20px}.bloch-pulse-lab-module__ssKKnW__workspace{grid-template-columns:1fr;gap:6px;padding:0 20px 22px}.bloch-pulse-lab-module__ssKKnW__sphere{max-height:340px}.bloch-pulse-lab-module__ssKKnW__controls{padding-top:16px}.bloch-pulse-lab-module__ssKKnW__initialRow{padding-bottom:17px}.bloch-pulse-lab-module__ssKKnW__transport{flex-direction:column;align-items:stretch;gap:15px;padding:20px}.bloch-pulse-lab-module__ssKKnW__transportButtons button{flex:1}.bloch-pulse-lab-module__ssKKnW__readouts{grid-template-columns:1fr 1fr;gap:18px 15px;padding:20px}.bloch-pulse-lab-module__ssKKnW__readouts>div:first-child,.bloch-pulse-lab-module__ssKKnW__readouts>div:nth-child(4),.bloch-pulse-lab-module__ssKKnW__readouts>div:nth-child(5){grid-column:1/-1}.bloch-pulse-lab-module__ssKKnW__ensembleNote{padding-inline:20px}.bloch-pulse-lab-module__ssKKnW__model{padding:18px 20px}.bloch-pulse-lab-module__ssKKnW__model .bloch-pulse-lab-module__ssKKnW__equation{font-size:.92rem}.bloch-pulse-lab-module__ssKKnW__legend{gap:8px 11px;font-size:.6rem}.bloch-pulse-lab-module__ssKKnW__sliderRow button{flex-basis:36px;height:36px}.bloch-pulse-lab-module__ssKKnW__numberSetting{grid-template-columns:minmax(0,1fr) 110px}.bloch-pulse-lab-module__ssKKnW__noScript{padding-inline:20px}}@media (prefers-reduced-motion:reduce){.bloch-pulse-lab-module__ssKKnW__lab button{transition:none}}
.merlean-proof-replay-module__TrsCBG__replay{--muted:#5d675e;border:1px solid var(--line);background:var(--math-panel);min-width:0;color:var(--ink);margin-block:24px}.merlean-proof-replay-module__TrsCBG__replay p{color:var(--muted);margin:0;font-size:.82rem;line-height:1.8}.merlean-proof-replay-module__TrsCBG__replay h3,.merlean-proof-replay-module__TrsCBG__replay h4{color:var(--ink);font-family:var(--type-serif);margin:0;font-weight:400;line-height:1.4}.merlean-proof-replay-module__TrsCBG__replay h3{font-size:1.4rem}.merlean-proof-replay-module__TrsCBG__replay h4{font-size:1.1rem}.merlean-proof-replay-module__TrsCBG__eyebrow{color:var(--muted);font-family:var(--type-mono);letter-spacing:.07em;text-transform:uppercase;font-size:.62rem;display:block}.merlean-proof-replay-module__TrsCBG__header{padding:24px 26px}.merlean-proof-replay-module__TrsCBG__header h3{margin:10px 0 12px}.merlean-proof-replay-module__TrsCBG__target{border-block:1px solid var(--line);background:#f2efe799;padding:21px 26px}.merlean-proof-replay-module__TrsCBG__targetHeading{align-items:start;gap:14px;margin-bottom:14px;display:flex}.merlean-proof-replay-module__TrsCBG__targetHeading h4{margin-top:6px}.merlean-proof-replay-module__TrsCBG__anchorMark{color:#315ccf;font-family:var(--type-serif);font-size:2rem;line-height:1}.merlean-proof-replay-module__TrsCBG__target p{color:var(--ink)}.merlean-proof-replay-module__TrsCBG__codeDetails{margin-top:14px}.merlean-proof-replay-module__TrsCBG__codeDetails summary{cursor:pointer;padding-block:6px;font-size:.73rem}.merlean-proof-replay-module__TrsCBG__codeDetails pre{border:1px solid var(--math-line);max-width:100%;font-family:var(--type-mono);tab-size:2;background:#e3dfd6;margin:12px 0 0;padding:16px;font-size:.68rem;line-height:1.8;overflow:auto}.merlean-proof-replay-module__TrsCBG__controls{flex-wrap:wrap;justify-content:space-between;align-items:end;gap:16px;padding:20px 26px;display:flex}.merlean-proof-replay-module__TrsCBG__milestoneField,.merlean-proof-replay-module__TrsCBG__nodeField{flex-direction:column;gap:8px;min-width:0;display:flex}.merlean-proof-replay-module__TrsCBG__milestoneField{flex:1}.merlean-proof-replay-module__TrsCBG__milestoneField label,.merlean-proof-replay-module__TrsCBG__nodeField label{color:var(--muted);font-family:var(--type-mono);text-transform:uppercase;letter-spacing:.04em;font-size:.6rem}.merlean-proof-replay-module__TrsCBG__milestoneField select,.merlean-proof-replay-module__TrsCBG__nodeField select{background:var(--paper);border:1px solid var(--line);width:100%;min-width:0;min-height:40px;color:var(--ink);font:inherit;border-radius:0;padding:7px 28px 7px 10px;font-size:.75rem}.merlean-proof-replay-module__TrsCBG__transport{flex-wrap:wrap;gap:7px;display:flex}.merlean-proof-replay-module__TrsCBG__transport button{border:1px solid var(--line);cursor:pointer;background:0 0;min-height:40px;padding:7px 11px;font-size:.72rem}.merlean-proof-replay-module__TrsCBG__transport button:not(:disabled):hover{background:var(--paper)}.merlean-proof-replay-module__TrsCBG__transport button:disabled{color:#777b73;cursor:default;opacity:.65}.merlean-proof-replay-module__TrsCBG__transport .merlean-proof-replay-module__TrsCBG__reset{text-underline-offset:3px;border-color:#0000;text-decoration:underline}.merlean-proof-replay-module__TrsCBG__milestone{border-bottom:1px solid var(--line);padding:0 26px 25px}.merlean-proof-replay-module__TrsCBG__milestoneMeta{border-top:1px solid var(--line);font-family:var(--type-mono);color:var(--muted);justify-content:space-between;gap:20px;margin-bottom:12px;padding-top:16px;font-size:.65rem;display:flex}.merlean-proof-replay-module__TrsCBG__milestone h4{margin-bottom:12px}.merlean-proof-replay-module__TrsCBG__milestone .merlean-proof-replay-module__TrsCBG__eventNote{border-left:2px solid #8896ab;margin-top:12px;padding-left:12px;font-size:.73rem}.merlean-proof-replay-module__TrsCBG__graphHeader{flex-wrap:wrap;justify-content:space-between;align-items:end;gap:20px;padding:24px 26px 8px;display:flex}.merlean-proof-replay-module__TrsCBG__graphHeader h4{margin-top:8px}.merlean-proof-replay-module__TrsCBG__nodeField{width:260px;max-width:100%}.merlean-proof-replay-module__TrsCBG__graphScroll{scrollbar-width:thin;scrollbar-color:var(--faint) transparent;max-width:100%;overflow-x:auto}.merlean-proof-replay-module__TrsCBG__graph{width:100%;min-width:560px;position:relative}.merlean-proof-replay-module__TrsCBG__graph svg{width:100%;height:100%;display:block;overflow:visible}.merlean-proof-replay-module__TrsCBG__edge{fill:none;stroke:#81908d;stroke-width:1.5px;color:#81908d}.merlean-proof-replay-module__TrsCBG__columnLabel{font-family:var(--type-mono);letter-spacing:1px;fill:var(--muted);font-size:10px}.merlean-proof-replay-module__TrsCBG__emptyLabel{font-family:var(--type-sans);fill:var(--muted);font-size:11px}.merlean-proof-replay-module__TrsCBG__graphNode{background:var(--paper);text-align:left;cursor:pointer;border:1px solid #a3aaa1;align-items:center;gap:9px;height:52px;padding:7px 10px;display:flex;position:absolute;transform:translateY(-50%)}.merlean-proof-replay-module__TrsCBG__graphNode>span{font-family:var(--type-mono);color:var(--muted);flex-shrink:0;font-size:.67rem}.merlean-proof-replay-module__TrsCBG__graphNode strong{-webkit-line-clamp:2;-webkit-box-orient:vertical;min-width:0;font-size:.72rem;font-weight:500;line-height:1.35;display:-webkit-box;overflow:hidden}.merlean-proof-replay-module__TrsCBG__graphNode[data-event]{border:2px solid #315ccf}.merlean-proof-replay-module__TrsCBG__graphNode:hover{background:#e3e8e0}.merlean-proof-replay-module__TrsCBG__graphNode[aria-pressed=true]{background:var(--ink);color:var(--paper)}.merlean-proof-replay-module__TrsCBG__graphNode[aria-pressed=true]>span{color:#c5cec3}.merlean-proof-replay-module__TrsCBG__graphLegend{color:var(--muted);flex-wrap:wrap;justify-content:center;gap:10px 24px;padding:0 20px 16px;font-size:.65rem;display:flex}.merlean-proof-replay-module__TrsCBG__graphLegend>span{align-items:center;gap:7px;display:inline-flex}.merlean-proof-replay-module__TrsCBG__graphLegend i{border:2px solid #315ccf;width:10px;height:10px;display:inline-block}.merlean-proof-replay-module__TrsCBG__replay .merlean-proof-replay-module__TrsCBG__graphNote{padding:0 26px 22px;font-size:.72rem}.merlean-proof-replay-module__TrsCBG__inspector{border-block:1px solid var(--line);background:#f2efe766;padding:24px 26px}.merlean-proof-replay-module__TrsCBG__inspectorHeading{color:var(--muted);font-family:var(--type-mono);flex-wrap:wrap;justify-content:space-between;gap:10px;margin-bottom:10px;font-size:.61rem;display:flex}.merlean-proof-replay-module__TrsCBG__identifier{overflow-wrap:anywhere;font-family:var(--type-mono);color:var(--muted);margin:9px 0 16px;font-size:.68rem;line-height:1.6;display:block}.merlean-proof-replay-module__TrsCBG__inspector .merlean-proof-replay-module__TrsCBG__statement{color:var(--ink)}.merlean-proof-replay-module__TrsCBG__inspector .merlean-proof-replay-module__TrsCBG__statementUnavailable,.merlean-proof-replay-module__TrsCBG__inspector .merlean-proof-replay-module__TrsCBG__nodeNote{font-size:.76rem}.merlean-proof-replay-module__TrsCBG__inspector .merlean-proof-replay-module__TrsCBG__nodeNote{margin-top:12px}.merlean-proof-replay-module__TrsCBG__dependencyList{margin-top:20px}.merlean-proof-replay-module__TrsCBG__dependencyList>span{color:var(--muted);font-family:var(--type-mono);text-transform:uppercase;margin-bottom:10px;font-size:.6rem;display:block}.merlean-proof-replay-module__TrsCBG__dependencyList>div{flex-wrap:wrap;gap:7px;display:flex}.merlean-proof-replay-module__TrsCBG__dependencyList button{border:1px solid var(--line);text-align:left;cursor:pointer;background:0 0;padding:7px 10px;font-size:.71rem;line-height:1.5}.merlean-proof-replay-module__TrsCBG__dependencyList button:hover{background:var(--paper)}.merlean-proof-replay-module__TrsCBG__dependencyList p{font-size:.73rem}.merlean-proof-replay-module__TrsCBG__nodeIndex{padding:0 26px}.merlean-proof-replay-module__TrsCBG__nodeIndex summary{cursor:pointer;padding:20px 0;font-size:.78rem}.merlean-proof-replay-module__TrsCBG__nodeIndex>div{grid-template-columns:1fr 1fr;gap:7px;padding-bottom:24px;display:grid}.merlean-proof-replay-module__TrsCBG__nodeIndex button{border:1px solid var(--line);text-align:left;cursor:pointer;background:0 0;align-items:baseline;gap:10px;min-width:0;padding:10px 11px;display:flex}.merlean-proof-replay-module__TrsCBG__nodeIndex button>span{font-family:var(--type-mono);color:var(--muted);flex-shrink:0;font-size:.65rem}.merlean-proof-replay-module__TrsCBG__nodeIndex button>strong{overflow-wrap:anywhere;font-size:.72rem;font-weight:400;line-height:1.5}.merlean-proof-replay-module__TrsCBG__nodeIndex button[aria-pressed=true]{background:#315ccf0d;border-color:#315ccf}.merlean-proof-replay-module__TrsCBG__source{border-top:1px solid var(--line);padding:19px 26px 22px}.merlean-proof-replay-module__TrsCBG__source p{font-size:.72rem}.merlean-proof-replay-module__TrsCBG__source details{margin-block:12px}.merlean-proof-replay-module__TrsCBG__source summary{cursor:pointer;font-size:.69rem}.merlean-proof-replay-module__TrsCBG__source details p{margin-top:10px}.merlean-proof-replay-module__TrsCBG__source a{text-underline-offset:4px;width:fit-content;text-decoration:underline;-webkit-text-decoration-color:var(--line);text-decoration-color:var(--line);margin-top:9px;font-size:.72rem;display:block}.merlean-proof-replay-module__TrsCBG__source a:hover{text-decoration-color:currentColor}.merlean-proof-replay-module__TrsCBG__replay button:focus-visible,.merlean-proof-replay-module__TrsCBG__replay select:focus-visible,.merlean-proof-replay-module__TrsCBG__replay summary:focus-visible,.merlean-proof-replay-module__TrsCBG__graphScroll:focus-visible,.merlean-proof-replay-module__TrsCBG__codeDetails pre:focus-visible{outline-offset:3px;outline:2px solid #315ccf}@media (max-width:740px){.merlean-proof-replay-module__TrsCBG__controls{display:block}.merlean-proof-replay-module__TrsCBG__transport{margin-top:13px}.merlean-proof-replay-module__TrsCBG__nodeField{width:100%}}@media (max-width:460px){.merlean-proof-replay-module__TrsCBG__header,.merlean-proof-replay-module__TrsCBG__target,.merlean-proof-replay-module__TrsCBG__inspector,.merlean-proof-replay-module__TrsCBG__source{padding:20px 16px}.merlean-proof-replay-module__TrsCBG__controls{padding:18px 16px}.merlean-proof-replay-module__TrsCBG__milestone{padding:0 16px 21px}.merlean-proof-replay-module__TrsCBG__milestoneMeta{gap:12px;font-size:.6rem}.merlean-proof-replay-module__TrsCBG__graphHeader{padding:21px 16px 8px}.merlean-proof-replay-module__TrsCBG__replay .merlean-proof-replay-module__TrsCBG__graphNote{padding:0 16px 20px}.merlean-proof-replay-module__TrsCBG__graphLegend{justify-content:flex-start;padding-inline:16px}.merlean-proof-replay-module__TrsCBG__nodeIndex{padding-inline:16px}.merlean-proof-replay-module__TrsCBG__nodeIndex>div{grid-template-columns:1fr}.merlean-proof-replay-module__TrsCBG__replay h3{font-size:1.2rem}.merlean-proof-replay-module__TrsCBG__replay h4{font-size:1.05rem}.merlean-proof-replay-module__TrsCBG__replay p{font-size:.78rem}.merlean-proof-replay-module__TrsCBG__transport{gap:5px}.merlean-proof-replay-module__TrsCBG__transport button{padding-inline:9px;font-size:.68rem}}
.spectral-explorer-page-module__boeZGG__page{padding-bottom:64px}.spectral-explorer-page-module__boeZGG__hero{padding-block:32px 28px}.spectral-explorer-page-module__boeZGG__hero h1{font-family:var(--type-serif);font-size:var(--title-size);letter-spacing:-.025em;margin:20px 0;font-weight:450;line-height:1.15}.spectral-explorer-page-module__boeZGG__lede{max-width:760px;color:var(--muted);font-size:1.05rem;line-height:1.8}.spectral-explorer-page-module__boeZGG__navigation{margin-bottom:28px}.spectral-explorer-page-module__boeZGG__lab{margin-bottom:72px}.spectral-explorer-page-module__boeZGG__mathematics{max-width:920px;scroll-margin-top:24px}.spectral-explorer-page-module__boeZGG__sectionIntro h2,.spectral-explorer-page-module__boeZGG__publicExample h2{font-family:var(--type-serif);font-size:var(--section-size);margin:12px 0;font-weight:450;line-height:1.3}.spectral-explorer-page-module__boeZGG__sectionIntro>p:last-child,.spectral-explorer-page-module__boeZGG__experiment p,.spectral-explorer-page-module__boeZGG__publicExample p,.spectral-explorer-page-module__boeZGG__sources p{color:var(--muted);font-size:.95rem;line-height:1.85}.spectral-explorer-page-module__boeZGG__experiment{border-left:2px solid var(--blue);margin-block:36px;padding:8px 24px 12px}.spectral-explorer-page-module__boeZGG__experiment h3{font-size:1rem;font-weight:600}.spectral-explorer-page-module__boeZGG__publicExample{border-block:1px solid var(--line);padding-block:28px}.spectral-explorer-page-module__boeZGG__publicExample a,.spectral-explorer-page-module__boeZGG__sources a{text-underline-offset:4px;text-decoration:underline;-webkit-text-decoration-color:var(--line);text-decoration-color:var(--line)}.spectral-explorer-page-module__boeZGG__publicExample a:hover,.spectral-explorer-page-module__boeZGG__sources a:hover{text-decoration-color:currentColor}.spectral-explorer-page-module__boeZGG__sources{margin-top:36px}.spectral-explorer-page-module__boeZGG__sources h2{font-size:1rem;font-weight:600}.spectral-explorer-page-module__boeZGG__sources ul{color:var(--muted);padding-left:20px;font-size:.85rem;line-height:1.85}.spectral-explorer-page-module__boeZGG__sources li{margin-block:12px}.spectral-explorer-page-module__boeZGG__familyNotes{border-bottom:1px solid var(--line);margin-top:36px;padding-bottom:26px;scroll-margin-top:24px}.spectral-explorer-page-module__boeZGG__familyNotes>details>summary{cursor:pointer;text-underline-offset:4px;text-decoration:underline;-webkit-text-decoration-color:var(--line);text-decoration-color:var(--line);padding:16px 0;font-size:.88rem}.spectral-explorer-page-module__boeZGG__invitation{border:1px solid var(--math-line);background:var(--math-panel);justify-content:space-between;align-items:center;gap:32px;margin-block:0 44px;padding:30px;display:flex}.spectral-explorer-page-module__boeZGG__invitation>div{max-width:650px}.spectral-explorer-page-module__boeZGG__invitation h2{font-family:var(--type-serif);margin:10px 0;font-size:1.6rem;font-weight:450}.spectral-explorer-page-module__boeZGG__invitation p:last-child{color:var(--muted);margin-bottom:0;font-size:.95rem;line-height:1.75}.spectral-explorer-page-module__boeZGG__openLink{border:1px solid var(--ink);flex-shrink:0;justify-content:space-between;align-items:center;gap:16px;padding:15px 18px;font-size:.85rem;display:inline-flex}.spectral-explorer-page-module__boeZGG__openLink svg{width:20px;height:20px}.spectral-explorer-page-module__boeZGG__openLink:hover{background:var(--ink);color:var(--paper)}.spectral-explorer-page-module__boeZGG__openLink:focus-visible{outline:3px solid var(--blue);outline-offset:4px}@media (max-width:850px){.spectral-explorer-page-module__boeZGG__invitation{flex-direction:column;align-items:flex-start;gap:22px}}@media (max-width:600px){.spectral-explorer-page-module__boeZGG__hero{padding-block:25px 20px}.spectral-explorer-page-module__boeZGG__lede{font-size:.95rem}.spectral-explorer-page-module__boeZGG__lab{margin-bottom:48px}.spectral-explorer-page-module__boeZGG__experiment{padding-inline:16px}.spectral-explorer-page-module__boeZGG__invitation{padding:22px}.spectral-explorer-page-module__boeZGG__invitation h2{font-size:1.4rem}.spectral-explorer-page-module__boeZGG__openLink{width:100%}}
.spectral-graph-explorer-module__FQfQ4G__explorer{color:var(--ink);border:1px solid var(--line);background:var(--math-panel)}.spectral-graph-explorer-module__FQfQ4G__toolbar{border-bottom:1px solid var(--line);align-items:end;gap:18px;padding:22px 26px;display:flex}.spectral-graph-explorer-module__FQfQ4G__field{flex-direction:column;gap:7px;display:flex}.spectral-graph-explorer-module__FQfQ4G__field label{color:var(--muted);font-family:var(--type-mono);text-transform:uppercase;letter-spacing:.05em;font-size:.64rem}.spectral-graph-explorer-module__FQfQ4G__field select{border:1px solid var(--line);background:var(--paper);max-width:100%;min-height:40px;color:var(--ink);font:inherit;cursor:pointer;border-radius:0;padding:7px 34px 7px 11px;font-size:.8rem}.spectral-graph-explorer-module__FQfQ4G__toolbarNote{color:var(--muted);font-family:var(--type-serif);margin:0 0 1px auto;font-size:1rem;line-height:1.4}.spectral-graph-explorer-module__FQfQ4G__vertexCount{border:1px solid var(--line);background:var(--paper);min-width:64px;min-height:40px;font-family:var(--type-mono);align-items:center;padding:7px 11px;font-size:.8rem;display:flex}.spectral-graph-explorer-module__FQfQ4G__familyPanel{border-bottom:1px solid var(--line);background:#f2efe766;padding:20px 26px}.spectral-graph-explorer-module__FQfQ4G__factorControls{flex-wrap:wrap;gap:18px 32px;display:flex}.spectral-graph-explorer-module__FQfQ4G__factorGroup{border:0;flex-wrap:wrap;align-items:end;gap:12px;min-width:0;margin:0;padding:0;display:flex}.spectral-graph-explorer-module__FQfQ4G__factorGroup legend,.spectral-graph-explorer-module__FQfQ4G__stepControls legend{font-family:var(--type-serif);margin-bottom:10px;padding:0;font-size:.95rem}.spectral-graph-explorer-module__FQfQ4G__factorGroup .spectral-graph-explorer-module__FQfQ4G__field label{font-size:.59rem}.spectral-graph-explorer-module__FQfQ4G__factorGroup .spectral-graph-explorer-module__FQfQ4G__field select{min-height:36px;font-size:.73rem}.spectral-graph-explorer-module__FQfQ4G__familyExamples{flex-wrap:wrap;gap:7px;margin-top:18px;display:flex}.spectral-graph-explorer-module__FQfQ4G__familyExamples button{border:1px solid var(--line);background:var(--paper);cursor:pointer;min-height:32px;padding:6px 10px;font-size:.69rem}.spectral-graph-explorer-module__FQfQ4G__familyExamples button:hover{background:var(--paper-2)}.spectral-graph-explorer-module__FQfQ4G__constructionHint{max-width:850px;color:var(--muted);margin:13px 0 0;font-size:.68rem;line-height:1.75}.spectral-graph-explorer-module__FQfQ4G__familyDescription{max-width:940px;color:var(--ink);margin:15px 0 0;font-size:.77rem;line-height:1.8}.spectral-graph-explorer-module__FQfQ4G__familyDescription:first-child{margin-top:0}.spectral-graph-explorer-module__FQfQ4G__stepControls{border:0;min-width:0;margin:0;padding:0}.spectral-graph-explorer-module__FQfQ4G__stepChoices{flex-wrap:wrap;gap:8px;display:flex}.spectral-graph-explorer-module__FQfQ4G__stepChoices label{border:1px solid var(--line);background:var(--paper);min-width:62px;min-height:34px;font-family:var(--type-mono);cursor:pointer;justify-content:center;align-items:center;gap:7px;padding:6px 10px;font-size:.75rem;display:inline-flex}.spectral-graph-explorer-module__FQfQ4G__stepChoices input{accent-color:var(--ink)}.spectral-graph-explorer-module__FQfQ4G__familyPanel>.spectral-graph-explorer-module__FQfQ4G__field{max-width:260px}.spectral-graph-explorer-module__FQfQ4G__canvasScroll{scrollbar-width:thin;scrollbar-color:var(--faint) transparent;overflow-x:auto}.spectral-graph-explorer-module__FQfQ4G__workspace{grid-template-columns:minmax(0,1fr) minmax(0,1.07fr);display:grid}.spectral-graph-explorer-module__FQfQ4G__graphPanel{border-right:1px solid var(--line);min-width:0;padding:25px 26px 20px}.spectral-graph-explorer-module__FQfQ4G__graphStats{grid-template-columns:.75fr 1fr 1.2fr;gap:15px;margin:0;display:grid}.spectral-graph-explorer-module__FQfQ4G__graphStats dt{color:var(--muted);letter-spacing:.01em;font-size:.62rem}.spectral-graph-explorer-module__FQfQ4G__graphStats dd{font-family:var(--type-mono);font-variant-numeric:tabular-nums;letter-spacing:-.05em;margin:7px 0 0;font-size:1.27rem}.spectral-graph-explorer-module__FQfQ4G__graphCanvas{aspect-ratio:480/416;width:100%;max-width:460px;margin:9px auto 0;position:relative}.spectral-graph-explorer-module__FQfQ4G__graphCanvas svg{width:100%;height:100%;overflow:visible}.spectral-graph-explorer-module__FQfQ4G__graphCanvas[data-wide]{min-width:460px}.spectral-graph-explorer-module__FQfQ4G__graphCanvas[data-cube-four]{min-width:320px}.spectral-graph-explorer-module__FQfQ4G__guideCircle{fill:none;stroke:var(--line);stroke-dasharray:2 7;stroke-width:.8px}.spectral-graph-explorer-module__FQfQ4G__edge{stroke:#5a6d5f}.spectral-graph-explorer-module__FQfQ4G__pendingEdge{stroke:#9b542e;stroke-dasharray:7 4}.spectral-graph-explorer-module__FQfQ4G__vertex{width:34px;height:34px;font-family:var(--type-mono);cursor:pointer;border:1px solid #17201959;border-radius:50%;place-items:center;padding:0;font-size:.72rem;transition:box-shadow .1s;display:grid;position:absolute;transform:translate(-50%,-50%)}.spectral-graph-explorer-module__FQfQ4G__vertex:hover{box-shadow:0 0 0 4px #1720191a}.spectral-graph-explorer-module__FQfQ4G__vertex[aria-pressed=true]{outline:2px solid var(--ink);outline-offset:4px}.spectral-graph-explorer-module__FQfQ4G__vertex[data-coordinate]{letter-spacing:-.04em;font-size:.58rem}.spectral-graph-explorer-module__FQfQ4G__colorKey{color:var(--muted);justify-content:center;align-items:center;gap:12px;font-size:.6rem;display:flex}.spectral-graph-explorer-module__FQfQ4G__colorKey i{background:linear-gradient(90deg,#395c9b,#ebe7de 50%,#8e5836);width:110px;height:5px;display:block}.spectral-graph-explorer-module__FQfQ4G__graphCaption{text-align:center;max-width:360px;color:var(--muted);margin:12px auto 21px;font-size:.69rem;line-height:1.6}.spectral-graph-explorer-module__FQfQ4G__editControls{border-top:1px solid var(--line);flex-wrap:wrap;align-items:center;gap:10px 17px;padding-top:15px;display:flex}.spectral-graph-explorer-module__FQfQ4G__checkbox{cursor:pointer;align-items:center;gap:8px;font-size:.73rem;display:inline-flex}.spectral-graph-explorer-module__FQfQ4G__checkbox input{width:15px;height:15px;accent-color:var(--ink);margin:0}.spectral-graph-explorer-module__FQfQ4G__editingNote{min-height:2.7em;color:var(--muted);flex-basis:100%;margin:0;font-size:.69rem;line-height:1.6}.spectral-graph-explorer-module__FQfQ4G__readingPanel{min-width:0}.spectral-graph-explorer-module__FQfQ4G__tabs{border-bottom:1px solid var(--line);grid-template-columns:1.15fr 1.15fr .8fr;display:grid}.spectral-graph-explorer-module__FQfQ4G__tabs button{min-height:57px;color:var(--muted);cursor:pointer;background:0 0;border:0;padding:9px 7px;font-size:.69rem;position:relative}.spectral-graph-explorer-module__FQfQ4G__tabs button[aria-selected=true]{color:var(--ink);background:#f2efe780}.spectral-graph-explorer-module__FQfQ4G__tabs button[aria-selected=true]:after{content:"";background:var(--ink);height:2px;position:absolute;inset:auto 16px -1px}.spectral-graph-explorer-module__FQfQ4G__panel{padding:27px 28px 26px}.spectral-graph-explorer-module__FQfQ4G__panelHeading .spectral-graph-explorer-module__FQfQ4G__eyebrow{color:var(--muted);font-family:var(--type-mono);letter-spacing:.08em;text-transform:uppercase;margin-bottom:13px;font-size:.59rem;display:block}.spectral-graph-explorer-module__FQfQ4G__panelHeading h2{font-family:var(--type-serif);letter-spacing:-.025em;margin:0 0 11px;font-size:1.5rem;font-weight:400;line-height:1.2}.spectral-graph-explorer-module__FQfQ4G__panelHeading p,.spectral-graph-explorer-module__FQfQ4G__note{color:var(--muted);margin:0;font-size:.73rem;line-height:1.7}.spectral-graph-explorer-module__FQfQ4G__spectrum{border-bottom:1px solid var(--line);align-items:end;gap:5px;margin:27px 0 17px;padding:6px 3px 12px;display:flex;overflow-x:auto}.spectral-graph-explorer-module__FQfQ4G__eigenBar{cursor:pointer;min-width:26px;color:var(--muted);background:0 0;border:0;flex:1;padding:0}.spectral-graph-explorer-module__FQfQ4G__eigenValue{font-family:var(--type-mono);letter-spacing:-.04em;margin-bottom:8px;font-size:.57rem;display:block}.spectral-graph-explorer-module__FQfQ4G__barTrack{background:#17201909;align-items:end;height:140px;margin-inline:3px;display:flex}.spectral-graph-explorer-module__FQfQ4G__barTrack>span{background:#a1aaa0;width:100%;min-height:2px}.spectral-graph-explorer-module__FQfQ4G__eigenBar[aria-pressed=true] .spectral-graph-explorer-module__FQfQ4G__barTrack>span{background:#315c48}.spectral-graph-explorer-module__FQfQ4G__eigenBar[aria-pressed=true]{color:var(--ink)}.spectral-graph-explorer-module__FQfQ4G__eigenBar:hover .spectral-graph-explorer-module__FQfQ4G__barTrack{background:#17201914}.spectral-graph-explorer-module__FQfQ4G__eigenLabel{font-family:var(--type-serif);padding-top:9px;font-size:.8rem;display:block}.spectral-graph-explorer-module__FQfQ4G__eigenLabel sub{font-size:.6rem}.spectral-graph-explorer-module__FQfQ4G__selectedMode{justify-content:space-between;align-items:center;gap:12px;margin-bottom:15px;font-size:.7rem;display:flex}.spectral-graph-explorer-module__FQfQ4G__selectedMode>span{color:var(--muted)}.spectral-graph-explorer-module__FQfQ4G__selectedMode strong{font-family:var(--type-mono);font-size:.8rem;font-weight:500}.spectral-graph-explorer-module__FQfQ4G__outlineButton,.spectral-graph-explorer-module__FQfQ4G__playButton{border:1px solid var(--line);cursor:pointer;background:0 0;justify-content:space-between;align-items:center;gap:16px;min-height:38px;padding:10px 12px;font-size:.7rem;line-height:1.4;display:inline-flex}.spectral-graph-explorer-module__FQfQ4G__panel>.spectral-graph-explorer-module__FQfQ4G__outlineButton{margin-top:19px}.spectral-graph-explorer-module__FQfQ4G__outlineButton:hover{background:#1720190d}.spectral-graph-explorer-module__FQfQ4G__smallNote,.spectral-graph-explorer-module__FQfQ4G__numericalNote{color:var(--muted);font-size:.63rem;line-height:1.7}.spectral-graph-explorer-module__FQfQ4G__smallNote{margin:18px 0 0}.spectral-graph-explorer-module__FQfQ4G__textButton{text-underline-offset:4px;cursor:pointer;background:0 0;border:0;padding:0;font-size:.67rem;text-decoration:underline}.spectral-graph-explorer-module__FQfQ4G__panel>.spectral-graph-explorer-module__FQfQ4G__textButton{margin-top:15px}.spectral-graph-explorer-module__FQfQ4G__signalPresets{flex-wrap:wrap;gap:6px;margin:18px 0;display:flex}.spectral-graph-explorer-module__FQfQ4G__signalPresets button{border:1px solid var(--line);cursor:pointer;background:#f2efe780;padding:7px 9px;font-size:.64rem}.spectral-graph-explorer-module__FQfQ4G__signalPresets button:hover{background:var(--paper)}.spectral-graph-explorer-module__FQfQ4G__signalInputs{grid-template-columns:1fr 1fr;gap:12px 22px;margin:24px 0;display:grid}.spectral-graph-explorer-module__FQfQ4G__signalInput{font-family:var(--type-mono);grid-template-columns:20px minmax(0,1fr) 33px;align-items:center;gap:7px;font-size:.65rem;display:grid}.spectral-graph-explorer-module__FQfQ4G__signalInput>span{font-family:var(--type-serif);font-size:.85rem}.spectral-graph-explorer-module__FQfQ4G__signalInput output{text-align:right;color:var(--muted);font-variant-numeric:tabular-nums}.spectral-graph-explorer-module__FQfQ4G__signalInput[data-coordinate]{grid-template-columns:35px minmax(0,1fr) 33px}.spectral-graph-explorer-module__FQfQ4G__signalInput[data-coordinate]>span{font-family:var(--type-mono);font-size:.65rem}.spectral-graph-explorer-module__FQfQ4G__signalInput input,.spectral-graph-explorer-module__FQfQ4G__timeControl input{accent-color:#315c48;cursor:pointer;width:100%;min-width:0;margin:0}.spectral-graph-explorer-module__FQfQ4G__signalStats{border-top:1px solid var(--line);grid-template-columns:1fr 1fr;gap:16px;margin:20px 0 15px;padding-top:17px;display:grid}.spectral-graph-explorer-module__FQfQ4G__signalStats dt{color:var(--muted);font-size:.62rem;line-height:1.5}.spectral-graph-explorer-module__FQfQ4G__signalStats dd{font-family:var(--type-mono);font-variant-numeric:tabular-nums;margin:7px 0 0;font-size:1.05rem}.spectral-graph-explorer-module__FQfQ4G__playback{flex-wrap:wrap;align-items:center;gap:9px;margin-top:20px;display:flex}.spectral-graph-explorer-module__FQfQ4G__playButton{background:var(--ink);border-color:var(--ink);color:var(--paper);justify-content:center;min-width:90px}.spectral-graph-explorer-module__FQfQ4G__playButton span{font-size:.65rem}.spectral-graph-explorer-module__FQfQ4G__timeReadout{font-family:var(--type-mono);font-variant-numeric:tabular-nums;margin-left:auto;font-size:.72rem}.spectral-graph-explorer-module__FQfQ4G__timeControl{margin-top:18px;display:block}.spectral-graph-explorer-module__FQfQ4G__timeControl>span{color:var(--muted);justify-content:space-between;margin-bottom:8px;font-size:.65rem;display:flex}.spectral-graph-explorer-module__FQfQ4G__timeControl small{font:inherit;font-family:var(--type-mono)}.spectral-graph-explorer-module__FQfQ4G__diffusionChart{margin-top:22px}.spectral-graph-explorer-module__FQfQ4G__diffusionChart svg{width:100%;height:auto;overflow:visible}.spectral-graph-explorer-module__FQfQ4G__diffusionChart text{font-family:var(--type-mono);fill:var(--muted);font-size:10px}.spectral-graph-explorer-module__FQfQ4G__chartGrid{stroke:#1720191f;stroke-width:.8px}.spectral-graph-explorer-module__FQfQ4G__actualCurve{stroke:#325c48;stroke-width:2.3px;fill:none}.spectral-graph-explorer-module__FQfQ4G__boundCurve{stroke:#97754d;stroke-width:1.5px;stroke-dasharray:5 4;fill:none}.spectral-graph-explorer-module__FQfQ4G__timeMarker{stroke:#1720194d;stroke-width:1px;stroke-dasharray:2 4}.spectral-graph-explorer-module__FQfQ4G__chartLegend{color:var(--muted);flex-wrap:wrap;justify-content:center;gap:17px;margin-top:5px;font-size:.6rem;display:flex}.spectral-graph-explorer-module__FQfQ4G__chartLegend>span{align-items:center;gap:6px;display:flex}.spectral-graph-explorer-module__FQfQ4G__chartLegend i{border-top:2px solid #325c48;width:16px;display:block}.spectral-graph-explorer-module__FQfQ4G__chartLegend>span+span i{border-top:2px dashed #97754d}.spectral-graph-explorer-module__FQfQ4G__matrixDetails{border-top:1px solid var(--line)}.spectral-graph-explorer-module__FQfQ4G__matrixDetails summary{cursor:pointer;justify-content:space-between;gap:16px;padding:19px 26px;font-size:.73rem;display:flex}.spectral-graph-explorer-module__FQfQ4G__matrixDetails summary:before{content:"+";font-family:var(--type-mono)}.spectral-graph-explorer-module__FQfQ4G__matrixDetails[open] summary:before{content:"−"}.spectral-graph-explorer-module__FQfQ4G__matrixDetails summary>span{color:var(--muted);font-family:var(--type-mono);margin-left:auto;font-size:.68rem}.spectral-graph-explorer-module__FQfQ4G__matrixScroll{margin:0 26px 24px;overflow-x:auto}.spectral-graph-explorer-module__FQfQ4G__matrix{border-collapse:collapse;text-align:center;width:100%;font-family:var(--type-mono);font-size:.7rem}.spectral-graph-explorer-module__FQfQ4G__matrix caption{text-align:left;caption-side:bottom;color:var(--muted);font-family:var(--type-sans);padding-top:13px;font-size:.65rem}.spectral-graph-explorer-module__FQfQ4G__matrix th,.spectral-graph-explorer-module__FQfQ4G__matrix td{min-width:32px;height:31px;padding:5px 9px;font-weight:400}.spectral-graph-explorer-module__FQfQ4G__matrix th{color:var(--muted);background:#17201909}.spectral-graph-explorer-module__FQfQ4G__matrix td[data-diagonal]{color:#315c48;font-weight:650}.spectral-graph-explorer-module__FQfQ4G__matrix tbody tr+tr{border-top:1px solid #1720190a}.spectral-graph-explorer-module__FQfQ4G__numericalNote{border-top:1px solid var(--line);margin:0;padding:17px 26px}@media (max-width:950px){.spectral-graph-explorer-module__FQfQ4G__graphPanel{padding-inline:20px}.spectral-graph-explorer-module__FQfQ4G__panel{padding-inline:21px}.spectral-graph-explorer-module__FQfQ4G__signalInputs{grid-template-columns:1fr;gap:10px}.spectral-graph-explorer-module__FQfQ4G__eigenValue{font-size:.5rem}.spectral-graph-explorer-module__FQfQ4G__spectrum{gap:3px}.spectral-graph-explorer-module__FQfQ4G__barTrack{margin-inline:2px}.spectral-graph-explorer-module__FQfQ4G__timeReadout{font-size:.65rem}}@media (max-width:740px){.spectral-graph-explorer-module__FQfQ4G__workspace{grid-template-columns:1fr}.spectral-graph-explorer-module__FQfQ4G__graphPanel{border-right:0;border-bottom:1px solid var(--line)}.spectral-graph-explorer-module__FQfQ4G__graphCanvas{max-width:390px}.spectral-graph-explorer-module__FQfQ4G__toolbar{gap:13px;padding:19px 20px}.spectral-graph-explorer-module__FQfQ4G__toolbarNote{font-size:.85rem}.spectral-graph-explorer-module__FQfQ4G__graphStats{max-width:420px;margin-inline:auto}.spectral-graph-explorer-module__FQfQ4G__signalInputs{grid-template-columns:1fr 1fr}.spectral-graph-explorer-module__FQfQ4G__panel{padding:24px 22px}.spectral-graph-explorer-module__FQfQ4G__spectrum{gap:6px}.spectral-graph-explorer-module__FQfQ4G__eigenValue{font-size:.62rem}.spectral-graph-explorer-module__FQfQ4G__barTrack{height:135px;margin-inline:3px}}@media (max-width:460px){.spectral-graph-explorer-module__FQfQ4G__familyPanel{padding:18px 16px}.spectral-graph-explorer-module__FQfQ4G__factorControls{gap:18px}.spectral-graph-explorer-module__FQfQ4G__factorGroup{width:100%}.spectral-graph-explorer-module__FQfQ4G__factorGroup .spectral-graph-explorer-module__FQfQ4G__field:first-of-type{flex:1}.spectral-graph-explorer-module__FQfQ4G__familyDescription{font-size:.73rem}.spectral-graph-explorer-module__FQfQ4G__toolbarNote{display:none}.spectral-graph-explorer-module__FQfQ4G__toolbar{padding:16px}.spectral-graph-explorer-module__FQfQ4G__field:first-child{flex:1;min-width:0}.spectral-graph-explorer-module__FQfQ4G__field select{font-size:.72rem}.spectral-graph-explorer-module__FQfQ4G__graphPanel{padding:20px 16px 16px}.spectral-graph-explorer-module__FQfQ4G__graphStats{gap:11px}.spectral-graph-explorer-module__FQfQ4G__graphStats dt{font-size:.57rem}.spectral-graph-explorer-module__FQfQ4G__graphStats dd{font-size:1.12rem}.spectral-graph-explorer-module__FQfQ4G__vertex{width:30px;height:30px;font-size:.65rem}.spectral-graph-explorer-module__FQfQ4G__colorKey{gap:9px;font-size:.56rem}.spectral-graph-explorer-module__FQfQ4G__colorKey i{width:80px}.spectral-graph-explorer-module__FQfQ4G__tabs button{padding-inline:5px;font-size:.65rem}.spectral-graph-explorer-module__FQfQ4G__panel{padding:24px 17px}.spectral-graph-explorer-module__FQfQ4G__panelHeading h2{font-size:1.35rem}.spectral-graph-explorer-module__FQfQ4G__signalInputs{grid-template-columns:1fr;gap:11px}.spectral-graph-explorer-module__FQfQ4G__signalInput{grid-template-columns:20px minmax(0,1fr) 36px}.spectral-graph-explorer-module__FQfQ4G__signalStats{gap:13px}.spectral-graph-explorer-module__FQfQ4G__signalStats dt{font-size:.59rem}.spectral-graph-explorer-module__FQfQ4G__signalStats dd{font-size:.95rem}.spectral-graph-explorer-module__FQfQ4G__spectrum{gap:3px}.spectral-graph-explorer-module__FQfQ4G__barTrack{height:125px;margin-inline:1px}.spectral-graph-explorer-module__FQfQ4G__eigenValue{font-size:.62rem}.spectral-graph-explorer-module__FQfQ4G__eigenLabel{font-size:.7rem}.spectral-graph-explorer-module__FQfQ4G__matrixDetails summary{gap:10px;padding:18px 16px;font-size:.65rem}.spectral-graph-explorer-module__FQfQ4G__matrixDetails summary>span{font-size:.6rem}.spectral-graph-explorer-module__FQfQ4G__matrixScroll{margin-inline:16px}.spectral-graph-explorer-module__FQfQ4G__numericalNote{padding:16px}}@media (prefers-reduced-motion:reduce){.spectral-graph-explorer-module__FQfQ4G__vertex{transition:none}}