@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url("./KaTeX_AMS-Regular.U6PRYMIZ.woff2") format("woff2"),url("./KaTeX_AMS-Regular.CYEKBG2K.woff") format("woff"),url("./KaTeX_AMS-Regular.JKX5W2C4.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url("./KaTeX_Caligraphic-Bold.5QL5CMTE.woff2") format("woff2"),url("./KaTeX_Caligraphic-Bold.WZ3QSGD3.woff") format("woff"),url("./KaTeX_Caligraphic-Bold.ZTS3R3HK.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url("./KaTeX_Caligraphic-Regular.KX5MEWCF.woff2") format("woff2"),url("./KaTeX_Caligraphic-Regular.3LKEU76G.woff") format("woff"),url("./KaTeX_Caligraphic-Regular.A7XRTZ5Q.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url("./KaTeX_Fraktur-Bold.2QVFK6NQ.woff2") format("woff2"),url("./KaTeX_Fraktur-Bold.T4SWXBMT.woff") format("woff"),url("./KaTeX_Fraktur-Bold.WGHVTYOR.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url("./KaTeX_Fraktur-Regular.2PEIFJSJ.woff2") format("woff2"),url("./KaTeX_Fraktur-Regular.PQMHCIK6.woff") format("woff"),url("./KaTeX_Fraktur-Regular.5U4OPH2X.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url("./KaTeX_Main-Bold.YP5VVQRP.woff2") format("woff2"),url("./KaTeX_Main-Bold.2GA4IZIN.woff") format("woff"),url("./KaTeX_Main-Bold.W5FBVCZM.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url("./KaTeX_Main-BoldItalic.N4V3DX7S.woff2") format("woff2"),url("./KaTeX_Main-BoldItalic.4P4C7HJH.woff") format("woff"),url("./KaTeX_Main-BoldItalic.ODMLBJJQ.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url("./KaTeX_Main-Italic.RELBIK7M.woff2") format("woff2"),url("./KaTeX_Main-Italic.SASNQFN2.woff") format("woff"),url("./KaTeX_Main-Italic.I43T2HSR.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url("./KaTeX_Main-Regular.ARRPAO67.woff2") format("woff2"),url("./KaTeX_Main-Regular.P5I74A2A.woff") format("woff"),url("./KaTeX_Main-Regular.W74P5G27.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url("./KaTeX_Math-BoldItalic.K4WTGH3J.woff2") format("woff2"),url("./KaTeX_Math-BoldItalic.6EBV3DK5.woff") format("woff"),url("./KaTeX_Math-BoldItalic.VB447A4D.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url("./KaTeX_Math-Italic.6KGCHLFN.woff2") format("woff2"),url("./KaTeX_Math-Italic.KKK3USB2.woff") format("woff"),url("./KaTeX_Math-Italic.SON4MRCA.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url("./KaTeX_SansSerif-Bold.RRNVJFFW.woff2") format("woff2"),url("./KaTeX_SansSerif-Bold.X5M5EMOD.woff") format("woff"),url("./KaTeX_SansSerif-Bold.STQ6RXC7.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url("./KaTeX_SansSerif-Italic.HMPFTM52.woff2") format("woff2"),url("./KaTeX_SansSerif-Italic.PSN4QKYX.woff") format("woff"),url("./KaTeX_SansSerif-Italic.WTBAZBGY.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url("./KaTeX_SansSerif-Regular.XIQ62X4E.woff2") format("woff2"),url("./KaTeX_SansSerif-Regular.OQCII6EP.woff") format("woff"),url("./KaTeX_SansSerif-Regular.2TL3USAE.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url("./KaTeX_Script-Regular.APUWIHLP.woff2") format("woff2"),url("./KaTeX_Script-Regular.A5IFOEBS.woff") format("woff"),url("./KaTeX_Script-Regular.72OLXYNA.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url("./KaTeX_Size1-Regular.5LRUTBFT.woff2") format("woff2"),url("./KaTeX_Size1-Regular.4HRHTS65.woff") format("woff"),url("./KaTeX_Size1-Regular.7K6AASVL.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url("./KaTeX_Size2-Regular.LELKET5D.woff2") format("woff2"),url("./KaTeX_Size2-Regular.K5ZHAIS6.woff") format("woff"),url("./KaTeX_Size2-Regular.222HN3GT.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url("./KaTeX_Size3-Regular.WQRQ47UD.woff2") format("woff2"),url("./KaTeX_Size3-Regular.TLFPAHDE.woff") format("woff"),url("./KaTeX_Size3-Regular.UFCO6WCA.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url("./KaTeX_Size4-Regular.CDMV7U5C.woff2") format("woff2"),url("./KaTeX_Size4-Regular.PKMWZHNC.woff") format("woff"),url("./KaTeX_Size4-Regular.7PGNVPQK.ttf") format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url("./KaTeX_Typewriter-Regular.VBYJ4NRC.woff2") format("woff2"),url("./KaTeX_Typewriter-Regular.MJMFSK64.woff") format("woff"),url("./KaTeX_Typewriter-Regular.3F5K6SQ6.ttf") format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.18.1"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.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;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .katex-vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .katex-thinbox{display:inline-flex;flex-direction:row;max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.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{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.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;display:inline-block;width:100%}.katex .katex-hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.katex-root{margin-left:.2777777778em;margin-right:-.5555555556em}.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:.8333333333em}.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.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.3333333333em}.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.6666666667em}.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.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.8571428571em}.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.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.5542857143em}.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:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.8888888889em}.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.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.3333333333em}.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.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.7644444444em}.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:.4166666667em}.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:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.6666666667em}.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:.8333333333em}.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.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.5555555556em}.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:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.8333333333em}.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.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.8333333333em}.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.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.8331726133em}.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.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.8336012862em}.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{display:inline-block;width:.12em}.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{display:inline-block;min-width:1px}.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;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .katex-stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.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{border:.04em solid;box-sizing:border-box}.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{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.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{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.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{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}:root{color-scheme:light;--bg: #f6f7f9;--panel: #ffffff;--panel-rgb: 255 255 255;--panel-2: #f8fafc;--panel-3: #f1f5f9;--text: #172033;--text-strong: #0f172a;--text-strongish: #1e293b;--text-tertiary: #334155;--text-secondary: #475569;--muted: #64748b;--muted-faint: #94a3b8;--neutral-200: #e2e8f0;--neutral-300: #cbd5e1;--line: #d8dee8;--line-soft: #eef2f7;--line-control: #cbd5e1;--line-strong: #b8c2d1;--link: #1d4ed8;--primary: #1d4ed8;--accent: #1e40af;--accent-text: #1e3a8a;--accent-bright: #60a5fa;--accent-line: #bfdbfe;--accent-line-strong: #93c5fd;--accent-soft: #dbeafe;--accent-subtle: #eff6ff;--focus-ring: rgba(37, 99, 235, .24);--focus-ring-soft: rgba(37, 99, 235, .12);--danger: #b91c1c;--danger-bg: #fee2e2;--warning: #92400e;--warning-bg: #fef3c7;--warm-bg: #fff7ed;--warm-border: #fed7aa;--info-panel: #f8fbff;--graph-bg: #fbfcfe;--graph-grid: #cbd5e1;--panel-97: rgb(var(--panel-rgb) / 97%);--panel-98: rgb(var(--panel-rgb) / 98%);--panel-96: rgb(var(--panel-rgb) / 96%);--panel-94: rgb(var(--panel-rgb) / 94%);--panel-90: rgb(var(--panel-rgb) / 90%);--panel-88: rgb(var(--panel-rgb) / 88%);--shadow: 0 10px 28px rgba(15, 23, 42, .1);--shadow-lg: 0 18px 50px rgba(15, 23, 42, .18);--sidebar-left: 260px;--sidebar-right: 330px;--topbar-height: 82px;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}:root[data-theme=dark]{color-scheme:dark;--bg: #0b1020;--panel: #111827;--panel-rgb: 17 24 39;--panel-2: #172033;--panel-3: #1e293b;--text: #e5e7eb;--text-strong: #f8fafc;--text-strongish: #f1f5f9;--text-tertiary: #e2e8f0;--text-secondary: #cbd5e1;--muted: #94a3b8;--muted-faint: #64748b;--neutral-200: #334155;--neutral-300: #475569;--line: #2b3547;--line-soft: #202a3a;--line-control: #475569;--line-strong: #4b5b72;--link: #93c5fd;--primary: #2563eb;--accent: #60a5fa;--accent-text: #dbeafe;--accent-bright: #60a5fa;--accent-line: #315b86;--accent-line-strong: #4678aa;--accent-soft: #1e3a5f;--accent-subtle: #172554;--focus-ring: rgba(96, 165, 250, .34);--focus-ring-soft: rgba(96, 165, 250, .18);--danger: #fca5a5;--danger-bg: #3f1d24;--warning: #fbbf24;--warning-bg: #3f2d12;--warm-bg: #3b2718;--warm-border: #92400e;--info-panel: #111d33;--graph-bg: #0b1220;--graph-grid: #334155;--shadow: 0 10px 28px rgba(0, 0, 0, .38);--shadow-lg: 0 18px 50px rgba(0, 0, 0, .48)}*{box-sizing:border-box}.material-symbols-outlined{display:inline-block;direction:ltr;font-family:Material Symbols Outlined;font-size:24px;font-style:normal;font-weight:400;font-feature-settings:"liga";font-variation-settings:"FILL" 0,"wght" 400,"GRAD" 0,"opsz" 24;letter-spacing:normal;line-height:1;text-transform:none;white-space:nowrap;word-wrap:normal;-webkit-font-feature-settings:"liga";-webkit-font-smoothing:antialiased}html,body{width:100%;height:100%;margin:0;overflow:hidden}body{background:var(--bg);color:var(--text)}button,input,select{font:inherit}a{color:var(--link)}code{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.88em}#app{display:grid;grid-template-rows:auto 1fr auto;width:100%;height:100%}.topbar{min-height:var(--topbar-height);display:flex;align-items:center;justify-content:space-between;gap:20px;padding:12px 16px;background:var(--panel-97);border-bottom:1px solid var(--line);z-index:20}.brand{display:flex;align-items:center;gap:10px;min-width:430px}.brand-link{color:inherit;text-decoration:none}.brand-link:hover,.brand-link:focus-visible{color:inherit;text-decoration:none}.brand-logo{width:58px;height:58px;object-fit:contain;flex:0 0 auto}.brand-copy{min-width:0;display:grid;gap:3px}.brand h1{font-size:18px;margin:0;letter-spacing:-.01em}.brand p{margin:0;font-size:11px;color:var(--muted);line-height:1.3}.brand p a{color:inherit;text-decoration:none}.brand p a:hover,.brand p a:focus-visible{color:var(--link);text-decoration:underline}.toolbar{display:flex;align-items:center;justify-content:flex-end;gap:7px;flex-wrap:wrap}.toolbar [hidden]{display:none!important}.control-density-button{display:inline-flex;align-items:center;gap:5px;white-space:nowrap}.control-density-icon{font-size:18px}.layout-toolbar-toggle{display:inline-flex;align-items:center;border-radius:7px}.layout-toolbar-button{border-radius:0}.layout-toolbar-button:first-child{border-radius:7px 0 0 7px}.layout-toolbar-button+.layout-toolbar-button{margin-left:-1px;border-radius:0}.layout-toolbar-button:last-child{border-radius:0 7px 7px 0}.layout-toolbar-button[aria-pressed=true]{z-index:1;border-color:var(--accent-bright);background:var(--accent-soft);color:var(--accent-text)}.layout-toolbar-button.compact-layout-suggested{animation:compact-layout-hint .9s ease-in-out 3}@keyframes compact-layout-hint{0%,to{box-shadow:0 0 #f59e0b00}45%{border-color:var(--warning);background:var(--warning-bg);color:var(--warning);box-shadow:0 0 0 6px #f59e0b38}}.button,.select,.icon-button{border:1px solid var(--line-strong);background:var(--panel);color:var(--text);border-radius:7px;min-height:34px}.button{padding:6px 10px;cursor:pointer}.button:hover,.icon-button:hover,.select:hover{border-color:var(--muted-faint);background:var(--panel-2)}.button:focus-visible,.icon-button:focus-visible,.select:focus-visible,input:focus-visible{outline:3px solid var(--focus-ring);outline-offset:1px}.button.primary{background:var(--primary);border-color:var(--primary);color:#fff}.button.active{background:var(--accent-soft);border-color:var(--accent-bright);color:var(--accent-text)}.select{padding:5px 28px 5px 8px}.icon-button{display:inline-flex;align-items:center;justify-content:center;width:34px;padding:0;font-size:20px;line-height:1;cursor:pointer;position:relative}.icon-button .panel-count{position:absolute;top:-4px;right:-4px;min-width:18px;height:18px;line-height:18px;padding:0 5px;border-radius:999px;font-size:10px;font-weight:700;background:var(--primary);color:#fff;display:none;align-items:center;justify-content:center}.icon-button[data-count]:not([data-count="0"]) .panel-count{display:inline-flex}.icon-button[data-count="0"] .panel-count{display:none}.text-button{border:0;background:transparent;color:var(--link);padding:0;cursor:pointer;font-size:12px}.filtered-relation-link{color:var(--muted);opacity:.6}.filtered-relation-link:hover,.filtered-relation-link:focus-visible{color:var(--link);opacity:1}.search-combobox{position:relative;flex:0 1 auto;z-index:50}.search-box{display:block}.search-box input{width:min(330px,31vw);min-height:34px;border:1px solid var(--line-strong);border-radius:7px;padding:6px 10px;color:var(--text);background:var(--panel)}.search-box input[aria-expanded=true]{border-color:var(--accent-bright);box-shadow:0 0 0 3px var(--focus-ring-soft)}.search-results{position:absolute;top:calc(100% + 6px);right:0;width:min(520px,calc(100vw - 24px));max-height:min(68vh,540px);overflow:auto;overscroll-behavior:contain;border:1px solid var(--line-strong);border-radius:10px;background:var(--panel);box-shadow:0 18px 44px #0f172a33}.search-result-option{display:grid;gap:3px;padding:9px 11px;border-bottom:1px solid var(--line);cursor:pointer}.search-result-option.active,.search-result-option:hover{background:var(--accent-soft)}.search-result-heading{display:flex;align-items:baseline;justify-content:space-between;gap:12px;min-width:0}.search-result-heading strong{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-size:13px}.search-result-heading span{flex:0 1 auto;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;color:var(--text-secondary);font-size:11px}.search-result-summary{overflow:hidden;color:var(--muted);font-size:11px;line-height:1.35;text-overflow:ellipsis;white-space:nowrap}.search-result-option code{color:var(--muted);font-size:9px}.search-results-empty,.search-results-footer{padding:10px 11px;color:var(--muted);font-size:11px}.search-results-footer{display:flex;justify-content:space-between;gap:12px;background:var(--panel-2)}.search-results-footer span{white-space:nowrap}.search-results-footer kbd{min-width:17px;padding:1px 4px}.workspace{display:grid;grid-template-columns:var(--sidebar-left) minmax(0,1fr) var(--sidebar-right);min-height:0}.sidebar{background:var(--panel);overflow:auto;min-height:0}.filters-panel{border-right:1px solid var(--line);padding:14px;z-index:10}.details-panel{display:flex;flex-direction:column;overflow:hidden;border-left:1px solid var(--line);padding:16px;z-index:10}.sidebar section+section{border-top:1px solid var(--line);margin-top:15px;padding-top:14px}.sidebar section[hidden]+section{border-top:none;padding-top:0;margin-top:0}.sidebar h2{font-size:13px;margin:0 0 8px;text-transform:uppercase;letter-spacing:.055em;color:var(--text-secondary)}.section-heading{display:flex;align-items:center;justify-content:space-between;gap:8px}.filter-section-toggle{display:flex;flex:1;align-items:center;justify-content:space-between;min-width:0;padding:2px 0;border:0;background:transparent;color:var(--text-secondary);cursor:pointer;font-size:13px;font-weight:700;letter-spacing:.055em;text-align:left;text-transform:uppercase}.filter-section-toggle:hover,.filter-section-toggle:focus-visible{color:var(--link)}.filter-section-toggle:focus-visible{outline:3px solid var(--focus-ring);outline-offset:2px;border-radius:4px}.filter-section-toggle .material-symbols-outlined{flex:0 0 auto;font-size:18px;transition:transform .14s ease}.filter-section-toggle[aria-expanded=false] .material-symbols-outlined{transform:rotate(-90deg)}.filter-section-body[hidden]{display:none!important}.filter-section-body{padding-top:8px}.display-filter-controls{display:grid;gap:8px}.experimental-features-row{align-items:center}.experimental-features-row input{margin-top:0}.experimental-caution-icon{margin-left:-3px;color:var(--warning);font-size:14px}.experimental-preference-options{display:grid;gap:8px;padding-left:15px}.experimental-preference-options[hidden]{display:none!important}.data-section .filter-section-body{display:grid;justify-items:start}.data-version{margin:8px 0 0;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,monospace;font-size:10px;line-height:1.35;white-space:nowrap}.data-version a{color:inherit}.filter-list{display:grid;gap:7px}.filter-note{margin:8px 0 0;font-size:10px;line-height:1.35;color:var(--muted)}.filter-item,.toggle-row{display:flex;align-items:flex-start;gap:8px;font-size:13px;line-height:1.25;cursor:pointer}.filter-item input,.toggle-row input{margin:2px 0 0}.exclude-toggle{order:99;margin-left:auto;padding:2px 4px;border:none;color:var(--muted);background:transparent;display:inline-flex;align-items:center;justify-content:center;cursor:pointer}.exclude-toggle .material-symbols-outlined{font-size:12px;line-height:1}.exclude-toggle[aria-pressed=true]{color:var(--danger);background:var(--danger-bg)}.domain-suppression-toggle[data-suppression=excluded]{color:var(--warning);background:var(--warning-bg)}.domain-suppression-toggle[data-suppression=prohibited]{color:var(--danger);background:var(--danger-bg)}.filter-link{color:inherit;text-decoration:none}.filter-link:hover,.filter-link:focus{text-decoration:underline}.filter-link.active{color:var(--link);font-weight:750}.field-filter-group{display:grid;gap:6px;padding:8px 0;border-bottom:1px solid rgba(100,116,139,.12)}.field-filter-group:last-child{border-bottom:none}.domain-list{display:grid;gap:3px;padding-left:0}.section-actions{display:flex;flex-wrap:wrap;gap:10px;align-items:center}.active-view-filter-context{margin:10px 10px 4px;padding:11px;border:1px solid var(--accent-line);border-radius:10px;background:var(--accent-subtle)}.active-view-filter-context[hidden]{display:none}.active-view-filter-context .kicker{margin-bottom:2px}.active-view-filter-context strong{display:block;color:var(--text);font-size:12px;line-height:1.3}.active-view-filter-context p{margin:6px 0 8px;color:var(--text-secondary);font-size:11px;line-height:1.4}.active-view-filter-actions{display:flex;flex-wrap:wrap;gap:7px}.active-view-filter-actions .button{min-height:29px;padding:5px 8px;font-size:10px}.swatch{width:11px;height:11px;border-radius:3px;flex:0 0 auto;margin-top:2px}.line-swatch{width:22px;height:0;border-top:3px solid;flex:0 0 auto;margin-top:7px}.line-swatch.dashed{border-top-style:dashed}.line-swatch.dotted{border-top-style:dotted}.small-link{display:inline-block;margin:2px 10px 2px 0;font-size:11px}.graph-shell{position:relative;min-width:0;min-height:0;overflow:hidden;background:var(--graph-bg)}.graph-shell:before{content:"";position:absolute;inset:0;pointer-events:none;background-image:radial-gradient(var(--graph-grid) .7px,transparent .7px);background-size:20px 20px;opacity:.4}#graph{position:absolute;inset:0;z-index:1}.graph-overlay-layer{position:absolute;inset:0;z-index:2;overflow:hidden;pointer-events:none}.graph-overlay-viewport{position:absolute;inset:0;transform-origin:0 0;pointer-events:none}.atlas-loading #graph,.atlas-loading .graph-overlay-layer,.atlas-loading .field-bands,.atlas-loading .graph-meta{visibility:hidden}.graph-loader{position:absolute;inset:0;z-index:10;display:grid;place-content:center;justify-items:center;gap:12px;color:var(--text-secondary);background:var(--graph-bg);font-size:14px;font-weight:650}.graph-loader:before{content:"";width:30px;height:30px;border:3px solid var(--accent-soft);border-top-color:var(--accent);border-radius:50%;animation:loader-spin .75s linear infinite}body:not(.atlas-loading) .graph-loader{display:none}.graph-loader.domain-graph-loader,.graph-loader.field-graph-loader,.graph-loader.concept-graph-loader{display:grid;grid-template:minmax(0,1fr) / minmax(0,1fr);place-content:stretch;justify-items:stretch;gap:0;padding:clamp(12px,2vw,28px);overflow:hidden}.domain-static-graph,.field-static-graph,.concept-static-graph{grid-area:1 / 1;display:block;width:100%;height:100%;min-width:0;min-height:0;object-fit:contain}.concept-static-graph-picture{grid-area:1 / 1;display:grid;width:100%;height:100%;min-width:0;min-height:0}.graph-loader.domain-graph-loader:before,.graph-loader.field-graph-loader:before,.graph-loader.concept-graph-loader:before{grid-area:1 / 1;align-self:start;justify-self:end;z-index:2;margin:8px;background:color-mix(in srgb,var(--graph-bg) 92%,transparent)}.static-graph-shimmer{position:absolute;inset-block:-12%;left:0;z-index:1;width:38%;pointer-events:none;background:linear-gradient(90deg,#dbeafe00,#bfdbfe57 24%,#ffffffe0 44%,#fff,#ffffffe0 56%,#bfdbfe57 76%,#dbeafe00);box-shadow:0 0 42px 14px #dbeafead;filter:blur(7px);opacity:.92;transform:translate3d(-165%,0,0) skew(-9deg);transform-origin:center;animation:static-graph-shimmer 1.8s ease-in-out infinite}.domain-graph-loading-label,.field-graph-loading-label,.concept-graph-loading-label{grid-area:1 / 1;align-self:end;justify-self:end;z-index:2;margin:8px;padding:5px 8px;border:1px solid var(--line);border-radius:6px;background:var(--panel-94);color:var(--text-secondary);font-size:12px}@keyframes loader-spin{to{transform:rotate(1turn)}}@keyframes static-graph-shimmer{0%{transform:translate3d(-165%,0,0) skew(-9deg)}to{transform:translate3d(365%,0,0) skew(-9deg)}}@media(prefers-reduced-motion:reduce){.static-graph-shimmer{animation:none;left:31%;opacity:.24;transform:skew(-9deg)}}.graph-domain-marker-canvas{position:absolute;inset:0;display:block;width:100%;height:100%;pointer-events:none}.graph-sequence-badge{position:absolute;z-index:5;display:grid;place-items:center;width:20px;height:20px;box-sizing:border-box;transform:translate(-50%,-50%);border:2px solid var(--text-strong);border-radius:50%;background:var(--panel);color:var(--text-strong);box-shadow:0 1px 3px #0f172a47;font-size:10px;font-weight:800;line-height:1;pointer-events:none}.graph-sequence-badge[hidden]{display:none}.graph-math-node-label{color:#fff}.graph-math-node-label.junction{color:#7c2d12}.graph-math-node-label.prerequisite-highlight{color:#0c4a6e}.graph-math-edge-label{width:max-content;color:var(--text-tertiary);background:var(--panel-88);border-style:solid;border-color:#e2e8f0d9;line-height:1.2}.graph-math-edge-label.synthetic{background:#fff7edeb;border-color:var(--warm-border)}.graph-math-edge-label.prerequisite-highlight{background:#e0f2fef5;border-color:#7dd3fc;color:#0c4a6e}.graph-hint{position:absolute;left:12px;top:10px;z-index:3;color:var(--muted);font-size:11px;background:var(--panel-88);border:1px solid rgba(203,213,225,.85);border-radius:6px;padding:5px 8px;pointer-events:none}.graph-meta{position:absolute;right:12px;bottom:10px;z-index:3;display:grid;justify-items:end;gap:2px;max-width:calc(100% - 24px);color:var(--muted);background:var(--panel-90);border:1px solid rgba(203,213,225,.85);border-radius:6px;padding:4px 7px;box-shadow:0 1px 4px #0f172a0d;pointer-events:none}.status{color:var(--text-secondary);font-size:10px;line-height:1.2;text-align:right}.status .status-item{display:inline-flex;align-items:center;gap:4px;margin-right:10px;white-space:nowrap}.status .status-item:last-child{margin-right:0}.status .material-symbols-outlined{font-size:14px;line-height:1;vertical-align:middle;color:currentColor}.status a{color:currentColor}.status-link{display:inline-flex;align-items:center;gap:4px;text-decoration:none!important}.status-link:hover,.status-link:focus-visible{text-decoration:none!important}.status-link-text{font-weight:700;text-decoration:underline}.status .status-link .material-symbols-outlined{text-decoration:none!important;display:inline-flex}.status a:hover:not(.status-link),.status a:focus-visible:not(.status-link){text-decoration:underline}.graph-credit{font-size:9px;line-height:1.2;white-space:nowrap}.graph-credit a{color:inherit;text-decoration:none;pointer-events:auto}.graph-credit a:hover,.graph-credit a:focus-visible{text-decoration:underline}.graph-meta a{color:inherit;text-decoration:underline;font-weight:700;pointer-events:auto}.status .status-link{text-decoration:underline}.status .status-link .material-symbols-outlined{text-decoration:none}.status .status-link:hover,.status .status-link:focus-visible{text-decoration:underline}.graph-meta a:hover,.graph-meta a:focus-visible{color:var(--link)}.graph-meta{pointer-events:none}.graph-meta a{pointer-events:auto}.graph-credit a:hover,.graph-credit a:focus-visible{color:var(--link);text-decoration:underline;text-underline-offset:2px}.tooltip{position:fixed;z-index:50;max-width:320px;padding:8px 10px;border-radius:7px;background:#0f172af5;color:#fff;box-shadow:var(--shadow);font-size:12px;line-height:1.35;pointer-events:none}.tooltip strong{display:block;margin-bottom:2px}.tooltip .muted{color:var(--neutral-300)}.relation-label{color:var(--muted);font-size:80%;letter-spacing:.01em}.relation-label .katex{font-size:1em}.relation-via{color:var(--muted);font-size:.84em;font-style:italic}.relation-block{margin:0 0 10px}.relation-item{margin:4px 0 0;padding-left:.4rem}.detail-view-list{display:grid;gap:7px}.detail-view-link{display:flex;align-items:center;gap:9px;min-width:0;padding:8px 9px;border:1px solid var(--neutral-300);border-radius:7px;background:var(--panel-2);color:var(--text-strongish);text-decoration:none}.detail-view-link:hover,.detail-view-link:focus-visible{border-color:var(--muted-faint);background:var(--panel-3)}.detail-view-link>.material-symbols-outlined{flex:0 0 auto;color:var(--text-secondary);font-size:19px}.detail-view-copy{display:grid;min-width:0;gap:1px}.detail-view-copy strong{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-size:12px}.detail-view-copy span{color:var(--muted);font-size:10px}.details-header{display:flex;flex:0 0 auto;justify-content:space-between;align-items:center;gap:12px;padding-bottom:12px;border-bottom:1px solid var(--line)}.details-header>div{display:inline-flex;align-items:center;gap:8px;flex-wrap:wrap}.details-header h2{margin:2px 0 0;font-size:20px;text-transform:none;letter-spacing:-.015em;color:var(--text)}.kicker{color:var(--muted);text-transform:uppercase;letter-spacing:.08em;font-size:10px;font-weight:700}.detail-body{min-height:0;overflow:auto;overscroll-behavior:contain;padding:13px 0 30px;font-size:13px;line-height:1.48}.detail-body p{margin:0 0 12px}.detail-section{margin:17px 0 0}.detail-section h3{font-size:11px;margin:0 0 6px;text-transform:uppercase;letter-spacing:.065em;color:var(--muted)}.detail-section ul{margin:0;padding-left:18px}.detail-section li{margin:3px 0}.muted{color:var(--muted)}.relation-group{margin:0 0 12px}.relation-heading{margin-bottom:4px!important}.relation-list{margin:0;padding-left:14px;list-style:none}.relation-list li{margin:4px 0}.relation-caption{color:var(--muted);font-size:.86em}.relation-caption .katex{font-size:1em}.citations{display:flex;gap:5px;flex-wrap:wrap;margin-top:7px}.citations{display:inline-flex;align-items:baseline;gap:6px;flex-wrap:wrap}.citation-badge{display:inline-flex;align-items:center;min-height:20px;padding:2px 6px;border:1px solid var(--neutral-300);border-radius:5px;background:var(--panel-2);color:var(--text-secondary);text-decoration:none;font-size:10px;font-weight:700}.citation-prefix{color:var(--muted);font-size:11px;line-height:1.4;white-space:nowrap}.detail-header-actions{display:inline-flex;align-items:center;gap:6px;margin-top:8px}.detail-header-actions [hidden]{display:none!important}.detail-header-action{display:inline-flex;align-items:center;justify-content:center;min-width:0;padding:0 4px;color:var(--text-secondary);text-decoration:none;font-size:18px;line-height:1}.detail-header-action:hover,.detail-header-action:focus-visible{color:var(--link);text-decoration:underline;background:transparent}.detail-header-action .material-symbols-outlined{font-size:18px;line-height:1}.citation-badge:hover{border-color:var(--muted);color:var(--text-strong)}.type-pill{display:inline-block;border-radius:999px;padding:2px 7px;font-size:10px;color:#fff;font-weight:700}.compatibility-box{padding:10px;background:var(--warm-bg);border:1px solid var(--warm-border);border-radius:7px}.math-rich .katex{font-size:1.04em}.math-rich .katex-display{margin:.65em 0;overflow-x:auto;overflow-y:hidden}.math-fallback{font-family:KaTeX_Main,Times New Roman,serif;font-style:italic}.legend{display:flex;align-items:center;gap:12px;flex-wrap:wrap}.legend-item{display:inline-flex;align-items:center;gap:5px;white-space:nowrap}.node-swatch{display:inline-block;width:16px;height:10px;border:1px solid var(--muted);border-radius:3px;background:var(--muted)}.node-swatch.faded{opacity:.5}.help-dialog{background:var(--panel);color:var(--text);width:min(920px,calc(100vw - 28px));border:0;border-radius:12px;padding:0;box-shadow:0 24px 80px #0f172a42}.help-dialog::backdrop{background:#0f172a7a}.dialog-card{margin:0}.dialog-header{display:flex;justify-content:space-between;align-items:flex-start;padding:18px 20px 14px;border-bottom:1px solid var(--line)}.dialog-header h2{margin:3px 0 0;font-size:22px}.dialog-content{padding:18px 20px;max-height:min(64vh,650px);overflow:auto}.dialog-content h3{font-size:13px;margin:18px 0 6px}.dialog-content p{font-size:13px;line-height:1.5}.help-intro,.help-card{border:1px solid var(--line);border-radius:10px;background:var(--panel);padding:13px 15px}.help-intro{border-color:var(--accent-line);background:var(--info-panel)}.help-card+.help-card,.help-grid+.help-card,.help-card+.help-grid,.help-intro+.help-grid{margin-top:12px}.help-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px}.help-card h3,.help-intro h3{margin:0 0 7px;color:var(--text-tertiary);font-size:13px}.help-card p,.help-intro p{margin:7px 0 0}.help-card ul{margin:6px 0 0;padding-left:19px;font-size:13px;line-height:1.48}.help-card li+li{margin-top:5px}.help-state-key{display:grid;gap:8px;margin-top:10px;font-size:12px;line-height:1.45}.help-state-key>span{display:grid;grid-template-columns:28px auto;align-items:start;column-gap:8px}.suppression-sample{display:inline-flex;align-items:center;justify-content:center;width:25px;height:25px;border-radius:6px;color:var(--muted);background:var(--panel-2)}.suppression-sample .material-symbols-outlined{font-size:15px}.suppression-sample.excluded{color:var(--warning);background:var(--warning-bg)}.suppression-sample.prohibited{color:var(--danger);background:var(--danger-bg)}.edge-explainer-name{display:inline-flex;align-items:center;gap:7px}.help-shortcuts kbd{display:inline-block;min-width:24px;padding:2px 6px;border:1px solid var(--neutral-300);border-bottom-width:2px;border-radius:5px;background:var(--panel-2);font:700 11px/1.4 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;text-align:center}.edge-explainer{display:grid;grid-template-columns:140px 1fr;gap:8px 14px;align-items:start;font-size:13px}.dialog-actions{display:flex;justify-content:flex-end;padding:12px 20px 18px}.visually-hidden{position:absolute!important;width:1px!important;height:1px!important;padding:0!important;margin:-1px!important;overflow:hidden!important;clip:rect(0,0,0,0)!important;white-space:nowrap!important;border:0!important}.mobile-only{display:none}@media(max-width:1180px){:root{--sidebar-left: 235px;--sidebar-right: 300px}.brand{min-width:340px}.brand-logo{width:48px;height:48px}.search-box input{width:250px}}@media(max-width:900px){html,body{overflow:hidden}.mobile-only{display:inline-grid;place-items:center}.topbar{align-items:flex-start;gap:8px}.brand{min-width:auto}.brand-logo{width:44px;height:44px}.brand h1{font-size:16px}.toolbar{gap:5px}.toolbar .button{padding-inline:8px}.search-box input{width:210px}.workspace{grid-template-columns:1fr;position:relative}.filters-panel,.details-panel{position:absolute;z-index:30;box-shadow:var(--shadow);transition:transform .18s ease}.filters-panel{top:0;bottom:0;left:0;width:min(330px,88vw);transform:translate(-105%)}.filters-panel.open{transform:translate(0)}.details-panel{inset:auto 0 0;width:100%;height:clamp(240px,48%,520px);max-height:calc(100% - 72px);border-top:1px solid var(--line-strong);border-left:0;border-radius:14px 14px 0 0;transform:translateY(105%)}.details-panel.open{transform:translateY(0)}.graph-meta{right:8px;bottom:8px;max-width:calc(100% - 16px)}}@media(max-width:620px){.topbar{display:block;padding:8px}.brand{margin-bottom:7px}.brand-logo{width:42px;height:42px}.toolbar{justify-content:flex-start}.search-combobox{flex:1 1 220px}.search-box input{width:100%}.search-results{right:auto;left:0;width:min(520px,calc(100vw - 16px))}#focusButton,.graph-hint{display:none}.graph-meta{padding:3px 6px}.status{font-size:9px}.graph-credit{font-size:8px}}@media(max-width:720px){.help-grid{grid-template-columns:1fr}}.filter-count{color:var(--muted);font-size:10px;font-variant-numeric:tabular-nums;margin-left:3px}.domain-badges{display:flex;flex-wrap:wrap;gap:5px;margin:8px 0 9px}.domain-badge{--domain-color: var(--muted);display:inline-flex;align-items:center;gap:5px;min-height:22px;padding:2px 7px;border:1px solid color-mix(in srgb,var(--domain-color) 52%,var(--panel));border-radius:999px;background:color-mix(in srgb,var(--domain-color) 9%,var(--panel));color:var(--text-tertiary);font-size:10px;font-weight:650;text-decoration:none}.domain-badge:hover,.domain-badge:focus-visible{color:var(--link);text-decoration:underline}.domain-badge.primary{border-color:var(--domain-color);box-shadow:inset 0 -2px 0 var(--domain-color)}.domain-dot{width:8px;height:8px;border-radius:2px;background:var(--domain-color);flex:0 0 auto}.node-swatch.multi-domain{background:linear-gradient(to right,#1d4ed8 0 33.333%,#047857 33.333% 66.666%,#dc2626 66.666% 100%);border-color:var(--muted)}.workspace{position:relative;overflow:hidden}.sidebar{width:100%;min-width:0;transition:opacity .18s ease,transform .24s cubic-bezier(.2,.8,.2,1),border-color .18s ease}@media(min-width:901px){.workspace,.workspace.filters-collapsed,.workspace.details-collapsed,.workspace.filters-collapsed.details-collapsed{grid-template-columns:minmax(0,1fr)}.graph-shell{grid-area:1 / 1;width:100%;height:100%}.filters-panel,.details-panel{position:absolute;top:0;bottom:0}.filters-panel{left:0;width:var(--sidebar-left);min-width:var(--sidebar-left)}.details-panel{right:0;width:var(--sidebar-right);min-width:var(--sidebar-right)}}.workspace.filters-collapsed,.workspace.details-collapsed,.workspace.filters-collapsed.details-collapsed{grid-template-columns:minmax(0,1fr)}.workspace.filters-collapsed .filters-panel{opacity:0;transform:translate(-100%);pointer-events:none;border-right-color:transparent}.workspace.details-collapsed .details-panel{opacity:0;transform:translate(100%);pointer-events:none;border-left-color:transparent}.panel-button[aria-pressed=false]{color:var(--muted);background:var(--panel-2)}.panel-rail-toggle{position:absolute;top:50%;z-index:8;width:25px;height:58px;margin-top:-29px;border:1px solid var(--line-strong);background:var(--panel-94);color:var(--text-secondary);box-shadow:0 4px 16px #0f172a1f;cursor:pointer;font-size:19px;line-height:1;opacity:.72;transition:opacity .14s ease,transform .18s ease,background .14s ease}.panel-rail-toggle:hover,.panel-rail-toggle:focus-visible{opacity:1;background:var(--panel)}.panel-rail-toggle.left{left:0;border-left:0;border-radius:0 8px 8px 0}.panel-rail-toggle.right{right:0;border-right:0;border-radius:8px 0 0 8px}.workspace.filters-collapsed .panel-rail-toggle.left,.workspace.details-collapsed .panel-rail-toggle.right{opacity:1}@media(max-width:900px){.workspace,.workspace.filters-collapsed,.workspace.details-collapsed,.workspace.filters-collapsed.details-collapsed{grid-template-columns:1fr}.workspace.filters-collapsed .filters-panel,.workspace.details-collapsed .details-panel{opacity:1;pointer-events:auto;border-color:var(--line)}.graph-meta{inset:10px 12px auto auto}.filters-panel,.workspace.filters-collapsed .filters-panel{transform:translate(-105%)}.filters-panel.open,.workspace.filters-collapsed .filters-panel.open{transform:translate(0)}.details-panel,.workspace.details-collapsed .details-panel{transform:translateY(105%)}.details-panel.open,.workspace.details-collapsed .details-panel.open{transform:translateY(0)}.panel-rail-toggle{display:none}}.button:disabled{cursor:default;opacity:.48;background:var(--panel-2);border-color:var(--line)}.button:disabled:hover{background:var(--panel-2);border-color:var(--line)}.field-nav{display:flex;align-items:center;gap:5px;flex-wrap:wrap;font-size:10px}.field-nav a{color:var(--muted);text-decoration:none}.field-nav a:hover,.field-nav a:focus-visible{color:var(--link);background:var(--accent-subtle)}.field-nav a.active{color:var(--accent-text);background:var(--accent-soft);text-decoration:underline;font-weight:700}.field-filter-item{font-weight:650}.domain-filter-group{display:grid;gap:6px}.domain-filter-group+.domain-filter-group{margin-top:9px;padding-top:8px;border-top:1px solid var(--line-soft)}.filter-group-label{color:var(--muted);font-size:9px;font-weight:750;letter-spacing:.07em;text-transform:uppercase}.domain-filter-item{padding-left:10px}.select-row{display:grid;grid-template-columns:1fr auto;align-items:center;gap:8px;margin-top:8px;font-size:13px}.select-row .select{min-height:30px;max-width:124px;font-size:12px}.display-filter-controls .select-row{grid-template-columns:1fr;margin-top:0}.display-filter-controls .select{width:100%;max-width:none}.field-bands{position:absolute;inset:0;z-index:0;overflow:hidden;pointer-events:none}.field-band{--field-color: var(--muted);position:absolute;border:1px solid color-mix(in srgb,var(--field-color) 34%,transparent);border-radius:18px;background:transparent}.field-band>span{position:absolute;top:8px;left:12px;color:color-mix(in srgb,var(--field-color) 78%,var(--text-tertiary));font-size:11px;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.concept-summary{font-size:14px}.concept-metadata{display:grid;gap:5px;margin:10px 0}.concept-metadata>div{display:grid;grid-template-columns:56px 1fr;gap:8px}.concept-metadata dt{color:var(--muted);font-size:10px;font-weight:750;text-transform:uppercase;letter-spacing:.05em}.concept-metadata dd{margin:0;font-size:12px}.field-badge{font-weight:750}@media(max-width:620px){.field-nav{display:none}}.views-button{display:inline-flex;align-items:center;gap:5px;white-space:nowrap}.views-button .material-symbols-outlined{font-size:18px}.views-button.active{color:var(--accent-text);border-color:var(--accent-line-strong);background:var(--accent-subtle)}.views-button-label{max-width:150px;overflow:hidden;text-overflow:ellipsis}.view-banner{position:absolute;z-index:7;top:12px;left:14px;width:min(510px,calc(100% - 170px));display:flex;gap:12px;align-items:flex-start;padding:14px 14px 13px 16px;border:1px solid var(--accent-line);border-radius:12px;background:var(--panel-96);box-shadow:0 12px 34px #0f172a24;backdrop-filter:blur(8px)}.view-banner-desktop{width:100%}.view-banner[hidden]{display:none}.view-banner-copy{min-width:0}.view-banner h2{margin:2px 0 5px;font-size:18px;line-height:1.2}.view-banner p{margin:0;color:var(--text-secondary);font-size:12px;line-height:1.48}.view-banner-actions{display:flex;align-items:center;gap:12px;margin-top:8px;font-size:11px}.view-banner-actions .text-button{padding:0}.view-sequence-controls{display:grid;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:8px;margin-top:10px;padding:7px;border:1px solid var(--accent-soft);border-radius:9px;background:var(--info-panel)}.view-sequence-button{display:inline-flex;align-items:center;justify-content:center;gap:2px;min-height:30px;padding:3px 7px;border:1px solid var(--accent-line);border-radius:7px;background:var(--panel);color:var(--accent);cursor:pointer;font-size:10px;font-weight:700}.view-sequence-button:hover:not(:disabled),.view-sequence-button:focus-visible:not(:disabled){border-color:var(--accent-bright);background:var(--accent-subtle)}.view-sequence-button:focus-visible{outline:3px solid var(--focus-ring);outline-offset:1px}.view-sequence-button:disabled{color:var(--muted-faint);cursor:default;opacity:.65}.view-sequence-button .material-symbols-outlined{font-size:18px}.view-sequence-position{display:grid;min-width:0;gap:1px;text-align:center}.view-sequence-position span{color:var(--muted);font-size:9px;font-weight:700;letter-spacing:.04em;text-transform:uppercase}.view-sequence-position strong{overflow:hidden;color:var(--text);font-size:11px;line-height:1.25;text-overflow:ellipsis;white-space:nowrap}.view-sequence-controls.compact{margin-top:8px;padding:5px;gap:5px}.view-sequence-controls.compact .view-sequence-button{min-height:28px;padding:2px 5px}.view-card-meta{margin:-4px 0 9px;color:var(--muted);font-size:10px;font-weight:650}.view-banner-close{flex:0 0 auto;width:26px;height:26px;padding:0}.views-welcome{position:absolute;z-index:9;top:14px;left:50%;width:min(390px,calc(100% - 32px));transform:translate(-50%);padding:18px 20px 17px;border:1px solid var(--accent-line);border-radius:14px;background:var(--panel-98);box-shadow:0 18px 50px #0f172a2e}.views-welcome[hidden]{display:none}.views-welcome h2{margin:2px 0 6px;font-size:20px}.views-welcome p{margin:0 30px 12px 0;color:var(--text-secondary);font-size:13px;line-height:1.45}.views-welcome-close{position:absolute;top:8px;right:8px;width:28px;height:28px;padding:0}.views-dialog{width:min(980px,calc(100vw - 28px))}.views-content{padding-top:14px}.views-intro{margin-top:0;color:var(--text-secondary)}.views-section+.views-section{margin-top:22px}.views-section>h3{margin:0 0 9px;color:var(--text-tertiary);font-size:12px;letter-spacing:.06em;text-transform:uppercase}.views-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px}.view-card{display:flex;min-width:0;overflow:hidden;border:1px solid var(--line);border-radius:11px;background:var(--panel)}.view-card.active{border-color:var(--accent-bright);box-shadow:inset 0 0 0 1px var(--accent-line)}.view-card-image{width:120px;object-fit:cover}.view-card-body{display:flex;flex:1;flex-direction:column;min-width:0;padding:12px}.view-card-heading{display:flex;align-items:flex-start;justify-content:space-between;gap:8px}.view-card h4{margin:0;font-size:15px;line-height:1.25}.view-card p{margin:6px 0 8px;color:var(--text-secondary);font-size:11.5px;line-height:1.45}.view-tags{display:flex;flex-wrap:wrap;gap:4px;margin:auto 0 10px}.view-tags span,.current-view-badge{display:inline-flex;align-items:center;min-height:20px;padding:2px 7px;border-radius:999px;background:var(--accent-subtle);color:var(--accent-text);font-size:9px;font-weight:700}.current-view-badge{background:var(--accent-soft);white-space:nowrap}.view-open-button{align-self:flex-start;min-height:31px;padding:6px 10px;font-size:11px;text-decoration:none;display:flex;align-items:center;justify-content:center}.view-open-button.secondary{color:var(--accent-text);background:var(--accent-subtle);border-color:var(--accent-line-strong)}.views-dialog .dialog-actions{align-items:center;justify-content:space-between}.views-directory-link{margin-right:auto}@media(max-width:900px){.view-banner{top:54px;left:10px;width:min(500px,calc(100% - 20px))}.views-grid{grid-template-columns:1fr}}@media(max-width:620px){.views-button-label{display:none}.views-button{padding-inline:8px}.view-banner{top:48px;max-height:170px;overflow:auto}.view-banner h2{font-size:16px}.view-banner p{font-size:11px}.views-welcome{top:54px}.views-dialog .dialog-content{max-height:68vh}}.view-banner-mobile,.mobile-view-context{display:none}.view-context-details{min-width:0}.view-context-details summary{display:flex;align-items:center;gap:8px;min-width:0;list-style:none;cursor:pointer;user-select:none}.view-context-details summary::-webkit-details-marker{display:none}.view-context-details summary:focus-visible{outline:3px solid var(--focus-ring);outline-offset:3px;border-radius:5px}.view-context-icon{flex:0 0 auto;color:var(--accent);font-size:19px}.view-context-heading{display:grid;flex:1;min-width:0;gap:1px}.view-context-heading strong{overflow:hidden;color:var(--text);font-size:13px;line-height:1.25;text-overflow:ellipsis;white-space:nowrap}.view-context-chevron{flex:0 0 auto;color:var(--muted);font-size:19px;transition:transform .14s ease}.view-context-details[open] .view-context-chevron{transform:rotate(180deg)}.view-context-body{padding:9px 0 1px 27px}.view-context-body p{margin:0;color:var(--text-secondary);font-size:11px;line-height:1.45}.mobile-view-context[hidden]{display:none!important}@media(max-width:900px){.view-banner-desktop{display:none}.view-banner-mobile{display:block;flex:1;min-width:0}.view-banner{top:48px;left:10px;width:calc(100% - 20px);max-height:min(210px,calc(100% - 64px));gap:8px;padding:9px 9px 9px 11px;overflow:auto}.view-banner-close{width:28px;height:28px}.view-banner-mobile .view-context-body{padding-left:27px}.view-banner-mobile .view-sequence-controls{margin-top:7px}.mobile-view-context:not([hidden]){display:block;flex:0 0 auto;margin:-4px -4px 12px;padding:8px 10px 9px;border:1px solid var(--accent-line);border-radius:10px;background:var(--accent-subtle)}.mobile-view-context .view-context-body{max-height:120px;padding:9px 0 1px 27px;overflow:auto;overscroll-behavior:contain}.mobile-view-context .view-banner-actions{margin-top:7px}}@media(max-width:620px){.view-banner{top:46px}.view-context-heading strong{font-size:12px}.view-sequence-button-label{display:none}.view-sequence-button{width:30px;padding-inline:3px}.mobile-view-context:not([hidden]){margin:-6px -6px 10px;padding:7px 9px 8px}}.noscript-atlas-link{position:fixed;inset:auto 1rem 1rem;z-index:1000;margin:0;padding:.75rem 1rem;border:1px solid var(--neutral-300);border-radius:10px;background:var(--panel);box-shadow:0 8px 24px #0f172a24;color:var(--text-tertiary);font-size:.9rem}.skip-link{position:fixed;left:.75rem;top:.75rem;z-index:10000;transform:translateY(-180%);padding:.55rem .8rem;border-radius:.4rem;background:var(--panel);color:var(--text-strong);box-shadow:0 2px 12px #00000047}.skip-link:focus{transform:translateY(0)}.startup-error{max-width:36rem;margin:10vh auto;padding:1.25rem;border:1px solid var(--border-color, var(--line-control));border-radius:.75rem;background:var(--panel);box-shadow:0 8px 28px #0000001f}.startup-error .button{display:inline-flex;text-decoration:none}@media(prefers-reduced-motion:reduce){*,*:before,*:after{scroll-behavior:auto!important;animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important}}.compare-dialog{width:min(1120px,calc(100vw - 28px))}.compare-dialog-card{display:flex;flex-direction:column;max-height:min(92vh,920px)}.compare-controls{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:end;gap:12px;padding:14px 20px 8px;background:var(--panel-2)}.compare-concept-input{display:grid;gap:5px;color:var(--text-secondary);font-size:11px}.compare-concept-input>span{display:flex;gap:7px;align-items:center}.compare-concept-input strong,.compare-marker{display:inline-grid;place-items:center;width:22px;height:22px;border-radius:999px;background:#7c3aed;color:#fff;font-size:11px;line-height:1}.compare-concept-input:nth-of-type(2) strong,.compare-card-b .compare-marker{background:#0891b2}.compare-concept-input input{width:100%;min-width:0;padding:9px 10px;border:1px solid var(--neutral-300);border-radius:7px;background:var(--panel);color:var(--text-strong);font:inherit;font-size:13px}.compare-concept-input input:focus{outline:2px solid var(--accent-line-strong);outline-offset:1px;border-color:#3b82f6}.compare-analysis-toolbar{display:flex;align-items:end;justify-content:space-between;gap:14px;padding:0 18px 12px;border-bottom:1px solid var(--line)}.compare-mode-tabs{display:inline-flex;align-items:center;gap:4px;padding:3px;border:1px solid var(--line-strong);border-radius:9px;background:var(--panel-2)}.compare-mode-tab{border:0;border-radius:6px;padding:7px 12px;background:transparent;color:var(--text-secondary);cursor:pointer;font:inherit;font-weight:700}.compare-mode-tab.active{background:var(--panel);color:var(--text-strong);box-shadow:0 1px 3px #0f172a29}.compare-direction{display:grid;gap:4px;min-width:min(360px,50%);color:var(--text-secondary);font-size:10px;font-weight:700;text-transform:uppercase;letter-spacing:.045em}.compare-direction .select{min-height:36px;text-transform:none;letter-spacing:normal;font-weight:500}.compare-status{min-height:22px;padding:5px 20px 6px;border-bottom:1px solid var(--line);color:var(--muted);font-size:11px}.compare-status.error{color:var(--danger)}.compare-content{min-height:260px;max-height:none;flex:1 1 auto}.compare-empty{display:grid;place-items:center;align-content:center;min-height:300px;text-align:center;color:var(--muted)}.compare-empty .material-symbols-outlined{font-size:46px;color:var(--muted-faint)}.compare-empty h3{margin:8px 0 0;color:var(--text-tertiary);font-size:18px}.compare-empty p{max-width:560px;margin:8px 0 0}.compare-columns{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px}.compare-card{min-width:0;padding:14px;border:1px solid var(--line);border-top:4px solid #7c3aed;border-radius:10px;background:var(--panel)}.compare-card-b{border-top-color:#0891b2}.compare-card-heading{display:grid;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:9px}.compare-card-heading h3{min-width:0;margin:0;color:var(--text-strong);font-size:17px;text-transform:none}.compare-card .concept-summary{margin:12px 0 8px}.compare-defining-features{display:grid;gap:9px;margin-top:12px}.compare-defining-features h4,.compare-common-grid h4{margin:0 0 5px;color:var(--muted);font-size:10px;text-transform:uppercase;letter-spacing:.055em}.compare-defining-features ul{margin:0;padding-left:18px;font-size:12px;line-height:1.42}.compare-source-count{display:flex;align-items:center;gap:5px;margin:12px 0 0!important;color:var(--muted);font-size:11px!important}.compare-source-count .material-symbols-outlined{font-size:15px}.compare-section{margin-top:18px;padding-top:16px;border-top:1px solid var(--line)}.compare-section>h3{margin:0 0 9px;color:var(--text-tertiary);font-size:14px}.compare-common-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px}.compare-common-grid .citation-badges{display:flex;flex-wrap:wrap;gap:5px}.compare-relation-list,.compare-neighbor-list{display:grid;gap:8px}.compare-relation-row{display:flex;align-items:center;flex-wrap:wrap;gap:7px;padding:9px 10px;border:1px solid var(--line);border-radius:8px;background:var(--panel-2);font-size:12px}.compare-relation-row .type-pill{background:var(--text-secondary)}.compare-relation-arrow{color:var(--muted);font-weight:800}.compare-synthetic-note{color:var(--warning);font-size:10px;font-style:italic}.compare-note{margin:-3px 0 8px!important;color:var(--muted);font-size:11px!important}.compare-table-wrap{overflow-x:auto}.compare-table{width:100%;border-collapse:collapse;font-size:12px}.compare-table th,.compare-table td{padding:7px 9px;border:1px solid var(--line);text-align:left}.compare-table thead th{background:var(--panel-3);color:var(--text-tertiary)}.compare-table tbody th{font-weight:600}.compare-table td{width:22%;text-align:center;font-variant-numeric:tabular-nums}.compare-neighbor-row{display:grid;grid-template-columns:minmax(150px,.75fr) minmax(0,1fr) minmax(0,1fr);gap:10px;align-items:start;padding:9px 10px;border:1px solid var(--line);border-radius:8px;background:var(--panel);font-size:11px}.compare-neighbor-name{justify-self:start;text-align:left;font-weight:700}.compare-neighbor-relation{display:block;margin-bottom:4px;color:var(--text-secondary);line-height:1.4}.compare-dialog-actions{gap:8px;align-items:center;border-top:1px solid var(--line)}.compare-dialog-actions .material-symbols-outlined{font-size:16px;vertical-align:-3px}@media(max-width:760px){.compare-controls{grid-template-columns:minmax(0,1fr) auto}.compare-concept-input:nth-of-type(2){grid-column:1 / -1}.compare-columns,.compare-common-grid,.compare-neighbor-row{grid-template-columns:1fr}.compare-neighbor-row>div{padding-left:8px;border-left:3px solid #7c3aed}.compare-neighbor-row>div:last-child{border-left-color:#0891b2}}@media(max-width:520px){.compare-dialog{width:calc(100vw - 12px)}.compare-controls,.compare-analysis-toolbar,.compare-status,.compare-content,.compare-dialog-actions{padding-left:12px;padding-right:12px}.compare-card-heading{grid-template-columns:auto minmax(0,1fr)}.compare-card-heading .text-button{grid-column:2;justify-self:start}.compare-dialog-actions{flex-wrap:wrap}}.connection-summary{border:1px solid var(--accent-line);border-radius:9px;padding:11px 12px;background:var(--info-panel)}.connection-summary p{margin:5px 0 0}.connection-empty-actions{display:flex;flex-wrap:wrap;gap:7px;margin-top:10px}.connection-alternatives{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:6px;margin-top:10px}.connection-alternative{display:grid;gap:1px;border:1px solid var(--line-strong);border-radius:7px;padding:6px 8px;background:var(--panel);color:var(--text-tertiary);text-align:left;cursor:pointer;font:inherit;font-weight:700}.connection-alternative span{color:var(--muted);font-size:10px;font-weight:500}.connection-alternative.active{border-color:var(--accent-bright);background:var(--accent-soft);color:var(--accent-text)}.connection-path{margin:14px 0 0;padding:0;list-style:none}.connection-node{display:grid;gap:3px;border:1px solid var(--line);border-radius:8px;padding:9px 10px;background:var(--panel)}.connection-node.endpoint{border-color:var(--accent-line-strong);background:var(--accent-subtle)}.connection-node>span{color:var(--muted);font-size:11px}.connection-node-link{justify-self:start;font-weight:750;text-align:left}.connection-relation{display:grid;justify-items:start;padding:5px 0 5px 14px;border-left:2px solid var(--accent-line-strong);margin-left:17px}.connection-edge-link{display:grid;grid-template-columns:auto minmax(0,1fr);align-items:center;gap:7px;border:0;padding:3px 0;background:transparent;color:var(--text-tertiary);text-align:left;cursor:pointer;font:inherit}.connection-edge-link>span:last-child{display:grid;gap:1px}.connection-edge-link strong{color:var(--text-secondary);font-size:10px;text-transform:uppercase;letter-spacing:.04em}.connection-direction-symbol{display:inline-grid;place-items:center;width:22px;height:22px;border-radius:999px;background:var(--accent-soft);color:var(--link);font-weight:800}.connection-direction-note{margin-left:29px;color:var(--muted);font-size:9px}.connection-method{margin-top:13px!important;font-size:10px}@media(max-width:620px){.compare-analysis-toolbar{align-items:stretch;flex-direction:column}.compare-direction{min-width:0}.connection-alternatives{grid-template-columns:1fr}}.structure-overlay-stats{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px;margin:14px 0}.structure-overlay-stats div{padding:8px;border:1px solid var(--line);border-radius:8px;background:var(--panel-2)}.structure-overlay-stats dt{color:var(--muted);font-size:9px;font-weight:800;letter-spacing:.055em;text-transform:uppercase}.structure-overlay-stats dd{margin:2px 0 0;color:var(--text);font-size:17px;font-weight:800}.structure-overlay-detail-section{margin-top:17px}.structure-overlay-detail-section h4{margin:0 0 7px;color:var(--muted);font-size:10px;letter-spacing:.06em;text-transform:uppercase}.structure-overlay-detail-section ol{display:grid;gap:5px;margin:0;padding:0;list-style:none}.structure-overlay-detail-section li{display:flex;justify-content:space-between;gap:8px;padding-bottom:5px;border-bottom:1px solid var(--line-soft)}.structure-overlay-detail-section li strong{min-width:0;overflow-wrap:anywhere}.structure-overlay-detail-section li span:last-child{flex:0 0 auto;color:var(--muted);font-size:10px;text-align:right}.structure-detail-link{display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:start;gap:8px;width:100%;padding:0;border:0;background:transparent;color:inherit;font:inherit;text-align:left;cursor:pointer}.structure-detail-link:hover strong,.structure-detail-link:focus-visible strong{color:var(--link);text-decoration:underline}.structure-detail-link strong{min-width:0;overflow-wrap:anywhere}.structure-detail-link span:last-child{color:var(--muted);font-size:10px;text-align:right}.structure-overlay-actions{display:flex;flex-wrap:wrap;gap:8px;margin-top:20px}.structure-overlay-actions .button{min-height:34px;font-size:11px}:root[data-theme=dark] .static-graph-shimmer{opacity:.28;mix-blend-mode:screen}:root[data-theme=dark] .graph-math-node-label.junction{color:#fed7aa}:root[data-theme=dark] .graph-math-node-label.prerequisite-highlight{color:#e0f2fe}:root[data-theme=dark] .graph-math-edge-label{color:var(--text-secondary);background:var(--panel-88);border-color:color-mix(in srgb,var(--line-control) 85%,transparent)}:root[data-theme=dark] .graph-math-edge-label.synthetic{background:color-mix(in srgb,var(--warm-bg) 92%,transparent);border-color:var(--warm-border)}:root[data-theme=dark] .graph-math-edge-label.prerequisite-highlight{background:#0c4a6ef5;border-color:#38bdf8;color:#e0f2fe}:root[data-theme=dark] .domain-badge{border-color:color-mix(in srgb,var(--domain-color) 58%,var(--panel));background:color-mix(in srgb,var(--domain-color) 18%,var(--panel))}:root[data-theme=dark] .field-band-label{color:color-mix(in srgb,var(--field-color) 55%,#ffffff)}:root{--focus-outline: #1d4ed8}:root[data-theme=dark]{--focus-outline: #93c5fd}button,input,select,textarea{font:inherit}:where(a,button,input,select,textarea,summary,[tabindex]):focus-visible{outline:3px solid var(--focus-outline);outline-offset:3px}:where(.button,.icon-button,.select,input):focus-visible,.filter-section-toggle:focus-visible{outline-color:var(--focus-outline)}#graph:focus-visible{outline:4px solid var(--focus-outline);outline-offset:-5px}.skip-links{position:fixed;inset:0 auto auto 0;z-index:10000}.skip-links .skip-link:nth-child(2){left:9.5rem}.skip-links .skip-link:nth-child(3){left:18.5rem}.panel-header{display:flex;align-items:center;justify-content:space-between;gap:10px;min-height:36px;margin-bottom:8px}.panel-header h2{margin:0}.mobile-panel-close{display:none}.filter-section-toggle{min-height:32px;padding-block:5px}.text-button,.small-link,.filter-link{display:inline-flex;align-items:center;min-height:28px;padding-block:4px}.text-button{padding-inline:4px}.filter-note,.data-version,.filter-count,.graph-credit,.status,.field-nav,.filter-group-label,.search-result-option code{font-size:11px}.filter-item,.toggle-row{align-items:flex-start;min-height:30px;cursor:default}.filter-item input,.toggle-row input{flex:0 0 auto;width:18px;height:18px;margin:0}.filter-item-copy{min-width:0;flex:1 1 auto}.filter-item-copy .filter-link{display:inline-block;padding-block:0;line-height:1.25;vertical-align:top}.exclude-toggle{order:99;flex:0 0 auto;align-items:flex-start;width:30px;min-width:30px;height:30px;margin-left:auto;padding:0;border:1px solid transparent;border-radius:6px}.exclude-toggle:hover{border-color:var(--line-strong)}.exclude-toggle .material-symbols-outlined{font-size:18px}.search-results-status:empty{display:none}.search-results-footer{border-top:1px solid var(--line)}.graph-viewport-controls{position:absolute;left:12px;bottom:12px;z-index:7;display:grid;grid-template-columns:repeat(3,34px);grid-template-areas:". up zoomin" "left fit right" ". down zoomout";gap:4px;padding:5px;border:1px solid var(--line-strong);border-radius:10px;background:var(--panel-90);box-shadow:var(--shadow);opacity:.82}.graph-viewport-controls:hover,.graph-viewport-controls:focus-within{opacity:1}#graphPanUp{grid-area:up}#graphPanLeft{grid-area:left}#graphPanRight{grid-area:right}#graphPanDown{grid-area:down}#graphZoomIn{grid-area:zoomin}#graphZoomOut{grid-area:zoomout}#graphFit{grid-area:fit}.view-banner-close,.views-welcome-close,.view-sequence-button{min-width:36px;min-height:36px}@media(max-width:900px){.mobile-panel-close{display:inline-flex}.filters-panel,.details-panel{overscroll-behavior:contain}.graph-viewport-controls{bottom:10px}}@media(pointer:coarse),(max-width:620px){.button,.select,.icon-button,.text-button,.small-link,.filter-link,.filter-section-toggle,.view-sequence-button,.view-banner-close,.views-welcome-close,.panel-rail-toggle{min-height:44px}.icon-button,.exclude-toggle,.view-banner-close,.views-welcome-close,.view-sequence-button{width:44px;min-width:44px;height:44px}.filter-item,.toggle-row{min-height:44px}.filter-item input,.toggle-row input{width:22px;height:22px}.graph-viewport-controls{grid-template-columns:repeat(3,44px);gap:5px;padding:6px}.toolbar{row-gap:7px}}@media(max-width:620px){.topbar{max-width:100vw}.toolbar{display:flex;flex-wrap:wrap;width:100%;max-width:none;padding:2px 0 0;overflow:visible}.toolbar>*{flex:0 0 auto}.search-combobox{flex:1 1 230px;min-width:min(190px,100%)}#focusButton{display:inline-flex}.status,.graph-credit{font-size:11px}.graph-meta{max-width:calc(100% - 24px)}}@media(max-width:380px){.brand-copy p{display:none}.brand h1{font-size:15px}.graph-viewport-controls{left:6px;bottom:6px}}@media(forced-colors:active){:root,:root[data-theme=dark]{--focus-outline: Highlight}.button,.icon-button,.select,input,textarea,dialog,.sidebar,.graph-viewport-controls,.graph-meta,.search-results{border-color:ButtonText}.button[aria-pressed=true],.exclude-toggle[aria-pressed=true],.layout-toolbar-button[aria-pressed=true]{outline:2px solid Highlight;outline-offset:-3px}.swatch,.line-swatch,.domain-dot,#graph,.graph-overlay-layer,.field-bands{forced-color-adjust:none}.graph-shell:before{display:none}}@media(prefers-contrast:more){:root{--line: #64748b;--line-strong: #334155;--muted: #475569}:root[data-theme=dark]{--line: #94a3b8;--line-strong: #cbd5e1;--muted: #cbd5e1}.button,.icon-button,.select,input,textarea{border-width:2px}}.filter-checkbox-target{display:inline-flex;align-items:flex-start;justify-content:center;flex:0 0 30px;width:30px;height:30px;cursor:pointer}.filter-checkbox-target input{width:18px;height:18px;margin:0}@media(pointer:coarse),(max-width:620px){.filter-checkbox-target{flex-basis:44px;width:44px;height:44px}.filter-checkbox-target input{width:22px;height:22px}}.active-view-filter-actions .button,.graph-sequence-badge,.detail-view-copy span,.kicker,.citation-badge,.type-pill,.domain-badge,.concept-metadata dt,.view-sequence-button,.view-sequence-position span,.view-card-meta,.current-view-badge,.compare-direction,.compare-common-grid h4,.compare-synthetic-note,.connection-alternative span,.connection-edge-link strong,.connection-direction-note,.connection-method,.structure-overlay-stats dt,.structure-overlay-detail-section h4,.structure-overlay-detail-section li span:last-child,.structure-detail-link span:last-child{font-size:11px}.field-nav a,.brand p a{display:inline-flex;align-items:center;min-height:28px;padding-inline:3px}@media(pointer:coarse),(max-width:620px){.field-nav a,.brand p a{min-height:44px;padding-inline:7px}}.text-button{min-width:28px}@media(max-width:900px){.topbar{display:block;max-width:100vw;padding:8px}.brand{margin-bottom:7px}.field-nav,.brand p{flex-wrap:nowrap;max-width:calc(100vw - 16px);overflow-x:auto;overflow-y:hidden;overscroll-behavior-x:contain}.field-nav a,.brand p a,button,input:not([type=checkbox]):not([type=radio]):not([type=hidden]),select,textarea,.button,.select,.icon-button,.text-button,.small-link,.filter-link,.filter-section-toggle,.view-sequence-button,.view-banner-close,.views-welcome-close,.panel-rail-toggle{min-height:44px}.text-button,.icon-button,.exclude-toggle,.view-banner-close,.views-welcome-close,.view-sequence-button{min-width:44px}.filter-item,.toggle-row,.filter-checkbox-target{min-height:44px}.filter-checkbox-target{flex-basis:44px;width:44px;height:44px}.filter-checkbox-target input,.filter-item input,.toggle-row input{width:22px;height:22px}.graph-viewport-controls{grid-template-columns:repeat(3,44px);gap:5px;padding:6px}.toolbar{display:flex;flex-wrap:wrap;align-items:center;justify-content:flex-start;width:100%;max-width:none;min-width:0;padding:2px 0 0;overflow:visible}.toolbar>*{flex:0 0 auto}.search-combobox{flex:1 1 260px;min-width:min(210px,100%)}.search-box input{width:100%}#focusButton{display:inline-flex}}.data-version{white-space:normal;overflow-wrap:anywhere}@media(max-width:900px){.filters-panel,.workspace.filters-collapsed .filters-panel{width:min(330px,88vw)}}@media(min-width:901px)and (max-width:1500px){.topbar{display:block}.brand{min-width:0;margin-bottom:8px}.toolbar{display:flex;align-items:center;justify-content:flex-start;flex-wrap:wrap;width:100%;max-width:none;min-width:0;padding-bottom:0;overflow:visible}.toolbar>*{flex:0 0 auto}.search-combobox{flex:1 1 300px;min-width:240px}.search-box input{width:100%}}.node-movement-controls{margin-top:14px;padding-top:14px;border-top:1px solid var(--line)}.node-movement-controls h3{margin:0 0 6px;font-size:13px}.node-movement-controls p{margin:0 0 9px;color:var(--muted);font-size:11px;line-height:1.4}.node-movement-grid{display:grid;grid-template-columns:44px minmax(92px,1fr) 44px;grid-template-areas:". up ." "left reset right" ". down .";align-items:center;justify-content:center;gap:5px}#nodeMoveUp{grid-area:up}#nodeMoveLeft{grid-area:left}#nodeMoveReset{grid-area:reset}#nodeMoveRight{grid-area:right}#nodeMoveDown{grid-area:down}.node-movement-grid .icon-button{width:44px;min-width:44px;height:44px}@media(max-width:900px){.select-row .select,.search-box input{min-height:44px}}:root[data-compact-controls=true] .button,:root[data-compact-controls=true] .select,:root[data-compact-controls=true] .icon-button{min-height:34px}:root[data-compact-controls=true] .icon-button,:root[data-compact-controls=true] .view-banner-close,:root[data-compact-controls=true] .views-welcome-close,:root[data-compact-controls=true] .view-sequence-button{width:34px;min-width:34px;height:34px}:root[data-compact-controls=true] .search-box input{min-height:34px}:root[data-compact-controls=true] .select-row .select{min-height:30px}:root[data-compact-controls=true] .panel-header{min-height:0}:root[data-compact-controls=true] .filter-section-toggle{min-height:0;padding-block:2px}:root[data-compact-controls=true] .text-button,:root[data-compact-controls=true] .small-link,:root[data-compact-controls=true] .filter-link,:root[data-compact-controls=true] .field-nav a,:root[data-compact-controls=true] .brand p a{min-width:0;min-height:0;padding-block:0}:root[data-compact-controls=true] .field-nav a,:root[data-compact-controls=true] .brand p a{padding-inline:0}:root[data-compact-controls=true] .filter-item,:root[data-compact-controls=true] .toggle-row{align-items:flex-start;min-height:0;line-height:1.25;cursor:pointer}:root[data-compact-controls=true] .filter-checkbox-target{align-items:flex-start;flex:0 0 auto;width:auto;height:auto;min-width:0;min-height:0}:root[data-compact-controls=true] .filter-checkbox-target input,:root[data-compact-controls=true] .filter-item input,:root[data-compact-controls=true] .toggle-row input{width:14px;height:14px;margin:2px 0 0}:root[data-compact-controls=true] .exclude-toggle{width:auto;min-width:0;height:auto;min-height:0;padding:2px 4px;border:0;border-radius:0}:root[data-compact-controls=true] .exclude-toggle .material-symbols-outlined{font-size:12px}:root[data-compact-controls=true] .graph-viewport-controls{grid-template-columns:repeat(3,34px);gap:4px;padding:5px}:root[data-compact-controls=true] .graph-viewport-controls .icon-button{width:34px;min-width:34px;height:34px}:root[data-compact-controls=true] .node-movement-grid{grid-template-columns:34px minmax(92px,1fr) 34px;gap:4px}:root[data-compact-controls=true] .node-movement-grid .icon-button{width:34px;min-width:34px;height:34px}
