@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(../media/KaTeX_AMS-Regular.25ieegmnh38ts.woff2)format("woff2"),url(../media/KaTeX_AMS-Regular.10y3kupq4t663.woff)format("woff"),url(../media/KaTeX_AMS-Regular.418dr7cz3fo2x.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(../media/KaTeX_Caligraphic-Bold.06b-ya9t43ioz.woff2)format("woff2"),url(../media/KaTeX_Caligraphic-Bold.2vmk2hva4ctha.woff)format("woff"),url(../media/KaTeX_Caligraphic-Bold.40ltxhe834pns.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(../media/KaTeX_Caligraphic-Regular.2eph4dlhid_m9.woff2)format("woff2"),url(../media/KaTeX_Caligraphic-Regular.3gxeetazf831f.woff)format("woff"),url(../media/KaTeX_Caligraphic-Regular.07-7u27-nhn_r.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(../media/KaTeX_Fraktur-Bold.2sasz-d-jtw8y.woff2)format("woff2"),url(../media/KaTeX_Fraktur-Bold.1alcy76__wdj2.woff)format("woff"),url(../media/KaTeX_Fraktur-Bold.19yqa_tc9d_gx.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(../media/KaTeX_Fraktur-Regular.2d10y4xmjvzlf.woff2)format("woff2"),url(../media/KaTeX_Fraktur-Regular.110oo81prr9n5.woff)format("woff"),url(../media/KaTeX_Fraktur-Regular.2qhy34r6a05dn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(../media/KaTeX_Main-Bold.3-rowy8o6_4ky.woff2)format("woff2"),url(../media/KaTeX_Main-Bold.0v1esh257kqpe.woff)format("woff"),url(../media/KaTeX_Main-Bold.0us_n0tnxlxu7.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(../media/KaTeX_Main-BoldItalic.14r2naom8mrec.woff2)format("woff2"),url(../media/KaTeX_Main-BoldItalic.13355ck5zr48q.woff)format("woff"),url(../media/KaTeX_Main-BoldItalic.3x_u9cepaced0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(../media/KaTeX_Main-Italic.0lig0v9j0700p.woff2)format("woff2"),url(../media/KaTeX_Main-Italic.0afv392dj4w59.woff)format("woff"),url(../media/KaTeX_Main-Italic.2hkw3230mfwcv.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(../media/KaTeX_Main-Regular.1ryvsdzh2w1_e.woff2)format("woff2"),url(../media/KaTeX_Main-Regular.15u8r3b2y7fv4.woff)format("woff"),url(../media/KaTeX_Main-Regular.0symfa7dqj6jd.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(../media/KaTeX_Math-BoldItalic.1oopuu636h4il.woff2)format("woff2"),url(../media/KaTeX_Math-BoldItalic.12pl58orkw9rg.woff)format("woff"),url(../media/KaTeX_Math-BoldItalic.0y5w36a5aq__2.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(../media/KaTeX_Math-Italic.32405s1aq8vas.woff2)format("woff2"),url(../media/KaTeX_Math-Italic.0w0b1ugh62cfr.woff)format("woff"),url(../media/KaTeX_Math-Italic.2vkekfblmz5nb.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(../media/KaTeX_SansSerif-Bold.0h3wi2z_eouyg.woff2)format("woff2"),url(../media/KaTeX_SansSerif-Bold.1ovw5p-yjp56g.woff)format("woff"),url(../media/KaTeX_SansSerif-Bold.2d03q85pwxpti.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(../media/KaTeX_SansSerif-Italic.0wkjc4dm2kcit.woff2)format("woff2"),url(../media/KaTeX_SansSerif-Italic.1qavw__2zz8gk.woff)format("woff"),url(../media/KaTeX_SansSerif-Italic.3i-q087b23-m8.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(../media/KaTeX_SansSerif-Regular.2peiewu59z3d-.woff2)format("woff2"),url(../media/KaTeX_SansSerif-Regular.1i4afx8nk8n4r.woff)format("woff"),url(../media/KaTeX_SansSerif-Regular.31pbu25feko_c.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(../media/KaTeX_Script-Regular.11h14300o9pd0.woff2)format("woff2"),url(../media/KaTeX_Script-Regular.3110jb9c-bxna.woff)format("woff"),url(../media/KaTeX_Script-Regular.28p_x7iz71ofe.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size1-Regular.03lhvx36ekcou.woff2)format("woff2"),url(../media/KaTeX_Size1-Regular.1slf4bh0hc6vm.woff)format("woff"),url(../media/KaTeX_Size1-Regular.1y57-ck23ey8c.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size2-Regular.14s5gg-puz6h-.woff2)format("woff2"),url(../media/KaTeX_Size2-Regular.0-kwyvx03omo8.woff)format("woff"),url(../media/KaTeX_Size2-Regular.2u0s-b07k2o9m.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size3-Regular.1n1rgzz84z8r9.woff2)format("woff2"),url(../media/KaTeX_Size3-Regular.04o9a_02gu_e8.woff)format("woff"),url(../media/KaTeX_Size3-Regular.1pkn-dge4q0fv.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size4-Regular.2sgotkdv3dcyv.woff2)format("woff2"),url(../media/KaTeX_Size4-Regular.3p2r1l7xmebxv.woff)format("woff"),url(../media/KaTeX_Size4-Regular.2uelkfk2yna5e.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(../media/KaTeX_Typewriter-Regular.11gr2d2wuwz77.woff2)format("woff2"),url(../media/KaTeX_Typewriter-Regular.12f8myjij3617.woff)format("woff"),url(../media/KaTeX_Typewriter-Regular.3nee9kjfy6nm8.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,math,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.19.0"}.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}
@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:400;src:url(../media/newsreader-vietnamese-400-normal.1bax5qaiz1lrm.woff2)format("woff2"),url(../media/newsreader-vietnamese-400-normal.2xds208124pw6.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:400;src:url(../media/newsreader-latin-ext-400-normal.0jn8bf4ubflnh.woff2)format("woff2"),url(../media/newsreader-latin-ext-400-normal.3-ve6og1cafe1.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:400;src:url(../media/newsreader-latin-400-normal.1zqdvo8tou4dd.woff2)format("woff2"),url(../media/newsreader-latin-400-normal.2x2izcfi0mi2e.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:500;src:url(../media/newsreader-vietnamese-500-normal.20mvzhxk8xa24.woff2)format("woff2"),url(../media/newsreader-vietnamese-500-normal.0-tt2zrzno9xu.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:500;src:url(../media/newsreader-latin-ext-500-normal.3tbiszahb30bk.woff2)format("woff2"),url(../media/newsreader-latin-ext-500-normal.38ew49_tnikvx.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:500;src:url(../media/newsreader-latin-500-normal.04rcpz1clzvnz.woff2)format("woff2"),url(../media/newsreader-latin-500-normal.0du2cc-4jm31t.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:600;src:url(../media/newsreader-vietnamese-600-normal.35w7trd9at5x2.woff2)format("woff2"),url(../media/newsreader-vietnamese-600-normal.2kh0382w19nta.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:600;src:url(../media/newsreader-latin-ext-600-normal.1_5g25j3holjf.woff2)format("woff2"),url(../media/newsreader-latin-ext-600-normal.3vwl_pgb2o7r7.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:600;src:url(../media/newsreader-latin-600-normal.2-r5j52paok-1.woff2)format("woff2"),url(../media/newsreader-latin-600-normal.05da2s5ok_kze.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(../media/stix-two-text-cyrillic-ext-400-normal.0vgvs92z84qpa.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-ext-400-normal.0gmydegk5ownq.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(../media/stix-two-text-cyrillic-400-normal.0awcr5i1tz73b.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-400-normal.1xs2w3-r5xm-a.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(../media/stix-two-text-greek-400-normal.2-_wo2a4q4pcc.woff2)format("woff2"),url(../media/stix-two-text-greek-400-normal.1pl65oscahta9.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(../media/stix-two-text-vietnamese-400-normal.2icw9yid4itxl.woff2)format("woff2"),url(../media/stix-two-text-vietnamese-400-normal.1ayfbv_yh02jo.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(../media/stix-two-text-latin-ext-400-normal.20iv_4dxvshh-.woff2)format("woff2"),url(../media/stix-two-text-latin-ext-400-normal.2pc_-8684nv0m.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(../media/stix-two-text-latin-400-normal.0zkk1l83djmqp.woff2)format("woff2"),url(../media/stix-two-text-latin-400-normal.1-ejws8y_wkll.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(../media/stix-two-text-cyrillic-ext-400-italic.1tr66pr2haq49.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-ext-400-italic.3mcrtawf6mrjg.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(../media/stix-two-text-cyrillic-400-italic.0bih0qa8p-z0e.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-400-italic.353hr4x--5wjl.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(../media/stix-two-text-greek-400-italic.0t9dgajq67lg9.woff2)format("woff2"),url(../media/stix-two-text-greek-400-italic.0issz0udmnsk7.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(../media/stix-two-text-vietnamese-400-italic.0n54qogj0-j18.woff2)format("woff2"),url(../media/stix-two-text-vietnamese-400-italic.2agvqnlo5wfbw.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(../media/stix-two-text-latin-ext-400-italic.40l9ypjud_22f.woff2)format("woff2"),url(../media/stix-two-text-latin-ext-400-italic.17zw39uygrztr.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(../media/stix-two-text-latin-400-italic.1srlzee-qmis-.woff2)format("woff2"),url(../media/stix-two-text-latin-400-italic.2mtlt7_e79scl.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(../media/stix-two-text-cyrillic-ext-600-normal.06llywmga1lyf.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-ext-600-normal.27xogpfm6txz1.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(../media/stix-two-text-cyrillic-600-normal.0_wouoa5e0bf9.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-600-normal.273fc__xwshh8.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(../media/stix-two-text-greek-600-normal.3k975au_whd6b.woff2)format("woff2"),url(../media/stix-two-text-greek-600-normal.2hibg5_7byfk4.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(../media/stix-two-text-vietnamese-600-normal.2t3hh_evcrnue.woff2)format("woff2"),url(../media/stix-two-text-vietnamese-600-normal.1undg2b42wgrv.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(../media/stix-two-text-latin-ext-600-normal.0m5_whs-buas8.woff2)format("woff2"),url(../media/stix-two-text-latin-ext-600-normal.0abrd38h-ofzz.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(../media/stix-two-text-latin-600-normal.12lw32ziestwq.woff2)format("woff2"),url(../media/stix-two-text-latin-600-normal.44wuqphk6em15.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-sans-cyrillic-ext-400-normal.39u3dp1q8vt28.woff2)format("woff2"),url(../media/ibm-plex-sans-cyrillic-ext-400-normal.3-2s2qyqt5syo.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-sans-cyrillic-400-normal.1ob51yn_zh4f3.woff2)format("woff2"),url(../media/ibm-plex-sans-cyrillic-400-normal.2c9g56gofrre8.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-sans-greek-400-normal.20ztly1_og8qv.woff2)format("woff2"),url(../media/ibm-plex-sans-greek-400-normal.1d6bt9ufqnym6.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-sans-vietnamese-400-normal.41bcgzntq2c9e.woff2)format("woff2"),url(../media/ibm-plex-sans-vietnamese-400-normal.3nx5do2g1gg_d.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-sans-latin-ext-400-normal.2wkl6p2bjtdkj.woff2)format("woff2"),url(../media/ibm-plex-sans-latin-ext-400-normal.1d956-ol9h5w9.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-sans-latin-400-normal.1xf5nwxyfigak.woff2)format("woff2"),url(../media/ibm-plex-sans-latin-400-normal.19i24--p24z3r.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(../media/ibm-plex-sans-cyrillic-ext-500-normal.37y6j4asgn87a.woff2)format("woff2"),url(../media/ibm-plex-sans-cyrillic-ext-500-normal.42ydqmu-69p6e.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(../media/ibm-plex-sans-cyrillic-500-normal.3j8b5jptl4nhr.woff2)format("woff2"),url(../media/ibm-plex-sans-cyrillic-500-normal.2r3_h99a4p2o6.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(../media/ibm-plex-sans-greek-500-normal.0k99vu2yejv84.woff2)format("woff2"),url(../media/ibm-plex-sans-greek-500-normal.2kq1zw7ns-90j.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(../media/ibm-plex-sans-vietnamese-500-normal.38exv3t7tju-g.woff2)format("woff2"),url(../media/ibm-plex-sans-vietnamese-500-normal.14rtxflq2gk6f.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(../media/ibm-plex-sans-latin-ext-500-normal.1h2_ral94l6aj.woff2)format("woff2"),url(../media/ibm-plex-sans-latin-ext-500-normal.1zyjrbr0w_u4w.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(../media/ibm-plex-sans-latin-500-normal.2i4a1iuj6lbvw.woff2)format("woff2"),url(../media/ibm-plex-sans-latin-500-normal.14sc3d7sk_zzh.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(../media/ibm-plex-sans-cyrillic-ext-600-normal.0hanpnpn3ki-v.woff2)format("woff2"),url(../media/ibm-plex-sans-cyrillic-ext-600-normal.33q0gwxfwkcq9.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(../media/ibm-plex-sans-cyrillic-600-normal.1bd0br_i69opa.woff2)format("woff2"),url(../media/ibm-plex-sans-cyrillic-600-normal.0h3aaz4315ad-.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(../media/ibm-plex-sans-greek-600-normal.17-3491c_tfac.woff2)format("woff2"),url(../media/ibm-plex-sans-greek-600-normal.1mkps5wbbyo2a.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(../media/ibm-plex-sans-vietnamese-600-normal.3hxpyk-en1__5.woff2)format("woff2"),url(../media/ibm-plex-sans-vietnamese-600-normal.3i-6fz_bx7yta.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(../media/ibm-plex-sans-latin-ext-600-normal.0a5-aslyj_wbq.woff2)format("woff2"),url(../media/ibm-plex-sans-latin-ext-600-normal.00ca59z0uilzq.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:600;src:url(../media/ibm-plex-sans-latin-600-normal.2ovda_azncp9b.woff2)format("woff2"),url(../media/ibm-plex-sans-latin-600-normal.2wn5p1s7u3utm.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-mono-cyrillic-ext-400-normal.09jq5v9-1wf71.woff2)format("woff2"),url(../media/ibm-plex-mono-cyrillic-ext-400-normal.2iaubq2jy0rx3.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-mono-cyrillic-400-normal.0m1ahpdxrpokj.woff2)format("woff2"),url(../media/ibm-plex-mono-cyrillic-400-normal.2-z93d2j9-3s0.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-mono-vietnamese-400-normal.3a7fs2yw914a9.woff2)format("woff2"),url(../media/ibm-plex-mono-vietnamese-400-normal.2kzc8ichkozg5.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-mono-latin-ext-400-normal.1hjaitcyq2e2r.woff2)format("woff2"),url(../media/ibm-plex-mono-latin-ext-400-normal.0nrwft7nlo5oa.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-mono-latin-400-normal.3xdfs0-p_zi4c.woff2)format("woff2"),url(../media/ibm-plex-mono-latin-400-normal.2lhng2ntocry9.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--canvas:#f7f6f2;--surface:#fffefa;--surface-soft:#eeede8;--ink:#25282e;--muted:#62666e;--subtle:#686c74;--line:#dedfdc;--line-strong:#a3a5ac;--accent:#2f4fb8;--accent-hover:#233d93;--accent-soft:#e9edf9;--accent-ink:#fff;--good:#285b45;--good-soft:#edf3ed;--good-line:#bfd3c6;--warn:#765418;--warn-soft:#f5efdf;--warn-line:#dac9a3;--bad:#9b3a32;--bad-soft:#f9ece9;--bad-line:#dec0ba;--focus:#2f4fb8;--selection:#d7dff6;--shadow-popover:0 10px 35px #25282e18;--radius-control:6px;--sans:"IBM Plex Sans", sans-serif;--mono:"IBM Plex Mono", monospace;--serif:"Newsreader", Georgia, serif;--math-text:"STIX Two Text", "STIX Two Math", "Times New Roman", serif;--status-open:#3d5679;--status-open-soft:#edf1f6;--status-partial:#1d6a66;--status-partial-soft:#e6f2f1;--status-proposed:#6a4c9c;--status-proposed-soft:#f1edf8;--status-proved:#2b6440;--status-proved-soft:#e9f3ec;--status-refuted:#9b3a32;--status-refuted-soft:#f9ece9;--status-disputed:#8a5a00;--status-disputed-soft:#f7efdc;--status-unknown:#62666e;--status-unknown-soft:#eeede8;--measure:70ch;--rail:288px;--contents:188px;--page-max:1320px;--header-height:64px;--step--1:.8125rem;--step-0:1rem;--step-1:1.125rem;--step-2:1.375rem;--step-3:1.75rem;--step-4:2.375rem;--space-1:4px;--space-2:8px;--space-3:12px;--space-4:16px;--space-5:24px;--space-6:32px;--space-7:48px;--space-8:72px}:root[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--canvas:#15181d;--surface:#1c2027;--surface-soft:#252a33;--ink:#e9e9e4;--muted:#b1b7c2;--subtle:#a6adb9;--line:#343a44;--line-strong:#737c8a;--accent:#9db2ff;--accent-hover:#c3d0ff;--accent-soft:#262e45;--accent-ink:#19213a;--good:#b0dac2;--good-soft:#22362c;--good-line:#3f6450;--warn:#e3c384;--warn-soft:#3b3221;--warn-line:#705d36;--bad:#f1b0a8;--bad-soft:#402b2a;--bad-line:#78504b;--focus:#9db2ff;--selection:#384776;--shadow-popover:0 10px 35px #0005;--status-open:#a9c1e6;--status-open-soft:#222c3b;--status-partial:#8fd3cc;--status-partial-soft:#1d3333;--status-proposed:#c9b6f2;--status-proposed-soft:#2c2540;--status-proved:#9fd6ad;--status-proved-soft:#20352a;--status-refuted:#f1b0a8;--status-refuted-soft:#402b2a;--status-disputed:#e8c27a;--status-disputed-soft:#3b3221;--status-unknown:#b1b7c2;--status-unknown-soft:#252a33}@media (prefers-color-scheme:dark){:root:not([data-theme=light]):not([data-theme=dark]){--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--canvas:#15181d;--surface:#1c2027;--surface-soft:#252a33;--ink:#e9e9e4;--muted:#b1b7c2;--subtle:#a6adb9;--line:#343a44;--line-strong:#737c8a;--accent:#9db2ff;--accent-hover:#c3d0ff;--accent-soft:#262e45;--accent-ink:#19213a;--good:#b0dac2;--good-soft:#22362c;--good-line:#3f6450;--warn:#e3c384;--warn-soft:#3b3221;--warn-line:#705d36;--bad:#f1b0a8;--bad-soft:#402b2a;--bad-line:#78504b;--focus:#9db2ff;--selection:#384776;--shadow-popover:0 10px 35px #0005;--status-open:#a9c1e6;--status-open-soft:#222c3b;--status-partial:#8fd3cc;--status-partial-soft:#1d3333;--status-proposed:#c9b6f2;--status-proposed-soft:#2c2540;--status-proved:#9fd6ad;--status-proved-soft:#20352a;--status-refuted:#f1b0a8;--status-refuted-soft:#402b2a;--status-disputed:#e8c27a;--status-disputed-soft:#3b3221;--status-unknown:#b1b7c2;--status-unknown-soft:#252a33}}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--canvas);color:var(--ink);font:400 16px/1.6 var(--sans);margin:0}button,a,input,select{font:inherit}input,select{color:var(--ink);background:var(--surface);accent-color:var(--accent)}button{color:inherit;cursor:pointer}a{color:var(--accent)}a:hover{color:var(--accent-hover)}code,pre{font-family:var(--mono)}code{font-size:.88em}::selection{background:var(--selection)}:focus-visible{outline:3px solid var(--focus);outline-offset:3px}.visually-hidden{clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}
.site-shell{flex-direction:column;min-height:100vh;display:flex}.site-shell main{flex:1}.skip-link{z-index:30;background:var(--surface);border:1px solid var(--accent);padding:9px 14px;position:fixed;top:-5rem;left:1rem}.skip-link:focus{top:1rem}.site-header{z-index:20;background:var(--surface);border-bottom:1px solid var(--line);position:sticky;top:0}.header-inner,.footer-inner,.wrap{width:min(100% - 64px,1240px);margin-inline:auto}.header-inner{align-items:center;gap:36px;min-height:68px;display:flex}.brand{white-space:nowrap;color:var(--ink);font:600 20px/1 var(--sans);letter-spacing:-.035em;align-items:center;gap:9px;text-decoration:none;display:inline-flex}.brand:hover{color:var(--ink)}.brand-domain{color:var(--muted);font-weight:400}.main-nav{align-self:stretch;align-items:stretch;gap:6px;display:flex}.main-nav a{color:var(--muted);border-bottom:2px solid #0000;align-items:center;padding:0 13px;font-size:14px;font-weight:500;text-decoration:none;display:inline-flex}.main-nav a:hover,.main-nav a[aria-current=page]{color:var(--accent);border-bottom-color:var(--accent)}.preview-label{border:1px solid var(--line);color:var(--muted);white-space:nowrap;border-radius:4px;margin-left:auto;padding:5px 9px;font-size:11px}.site-footer{background:var(--surface);border-top:1px solid var(--line);margin-top:64px}.footer-inner{grid-template-columns:1.1fr 1.5fr auto;gap:32px;padding-block:30px;display:grid}.footer-inner p{color:var(--muted);margin:0;font-size:12px}.footer-inner p strong{color:var(--ink);font-weight:600}.footer-inner nav{flex-wrap:wrap;align-content:start;gap:16px;display:flex}.footer-inner nav a{font-size:12px;font-weight:500;text-decoration:none}.header-tools{align-items:center;gap:10px;margin-left:auto;display:flex}@media (max-width:900px){.header-inner{flex-wrap:wrap;gap:12px;width:min(100% - 32px,1240px);padding-block:8px}.main-nav{scrollbar-width:none;order:3;gap:0;width:100%;overflow-x:auto}.main-nav a{min-height:40px;padding:0 10px}}@media (max-width:420px){.main-nav a{padding:0 7px;font-size:13.5px}}
.breadcrumbs{padding-block:20px 12px}.breadcrumbs ol{flex-wrap:wrap;gap:6px;margin:0;padding:0;list-style:none;display:flex}.breadcrumbs li{color:var(--subtle);font-size:12px;line-height:1.4}.breadcrumbs li+li:before{content:"/";color:var(--subtle);margin-right:6px}.breadcrumbs a{color:var(--muted);text-decoration:none}.breadcrumbs a:hover{text-decoration:underline}.breadcrumbs [aria-current]{color:var(--ink)}.page-header{border-bottom:1px solid var(--line);padding:20px 0 28px}.page-type{color:var(--accent);font:600 11px/1.4 var(--sans);letter-spacing:.07em;text-transform:uppercase;margin:0}.page-header h1,.page-title{max-width:900px;color:var(--ink);font:600 clamp(32px, 3.4vw, 44px) / 1.15 var(--sans);letter-spacing:-.038em;text-wrap:balance;margin:8px 0 12px}.page-summary,.lede{max-width:780px;color:var(--muted);font:400 16px/1.6 var(--sans);margin:0}.page-status{flex-wrap:wrap;gap:7px;margin-top:17px;display:flex}.page-actions,.actions{flex-wrap:wrap;align-items:center;gap:10px;margin-top:21px;display:flex}.page-actions+.page-status{margin-top:14px}.button{border:1px solid var(--line);background:var(--surface);min-height:40px;color:var(--ink);border-radius:5px;justify-content:center;align-items:center;gap:10px;padding:9px 15px;font-size:13px;font-weight:600;line-height:1.3;text-decoration:none;display:inline-flex}.button:hover{background:var(--surface-soft);color:var(--ink);border-color:var(--line-strong)}.button-primary{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}.button-primary:hover{background:var(--accent-hover);border-color:var(--accent-hover);color:var(--accent-ink)}.button-secondary{background:0 0}.button span:last-child{font-size:15px;font-weight:400}.text-link{color:var(--accent);text-underline-offset:3px;font-size:14px;font-weight:600;text-decoration:underline}.text-link:hover{color:var(--accent-hover)}.status-pill{border:1px solid var(--line);background:var(--surface-soft);width:fit-content;min-height:25px;color:var(--muted);font:500 11px/1.3 var(--sans);border-radius:4px;align-items:center;padding:3px 8px;display:inline-flex}.status-good{background:var(--good-soft);border-color:var(--good-line);color:var(--good)}.status-caution{background:var(--warn-soft);border-color:var(--warn-line);color:var(--warn)}.status-bad{background:var(--bad-soft);border-color:var(--bad-line);color:var(--bad)}.status-ink{background:var(--accent-soft);border-color:var(--line);color:var(--accent)}
.home-hero{border-bottom:1px solid var(--line);grid-template-columns:minmax(0,1.5fr) minmax(290px,.65fr);gap:64px;padding-block:70px 60px;display:grid}.home-hero h1{max-width:780px;font:600 clamp(38px, 4vw, 54px) / 1.12 var(--sans);letter-spacing:-.045em;text-wrap:balance;margin:9px 0 19px}.home-hero .page-summary{max-width:690px;font-size:17px}.home-aside{background:var(--surface);border:1px solid var(--line);border-radius:8px;align-self:start;padding:22px}.home-aside h2{font:600 15px/1.35 var(--sans);margin:0 0 10px}.home-aside p{color:var(--muted);margin:0 0 17px;font-size:13px}.home-aside p:last-child{margin-bottom:0}.home-aside .detail-list{margin-top:14px}.home-section{padding-block:46px 0}.home-section h2{font:600 23px/1.25 var(--sans);letter-spacing:-.02em;margin:0 0 9px}.home-section>p{max-width:720px;color:var(--muted);margin:0 0 22px}.case-card{border:1px solid var(--line);background:var(--surface);border-radius:8px;grid-template-columns:minmax(0,1.1fr) minmax(260px,.8fr);display:grid;overflow:hidden}.case-card-main,.case-card-side{padding:27px}.case-card-main h3{font:600 23px/1.25 var(--sans);letter-spacing:-.02em;margin:7px 0 10px}.case-card-main p,.case-card-side p{color:var(--muted);font-size:14px}.case-card-main .actions{margin-top:18px}.case-card-side{border-left:1px solid var(--line);background:var(--surface)}.case-card-side h4{text-transform:uppercase;letter-spacing:.05em;margin:0 0 12px;font-size:12px}.case-card-side .detail-list{margin:0}.journey-list{border-top:1px solid var(--line);grid-template-columns:repeat(3,1fr);display:grid}.journey-list>div{border-right:1px solid var(--line);padding:20px 24px 20px 0}.journey-list>div+div{padding-left:24px}.journey-list>div:last-child{border-right:0}.journey-list h3{margin:4px 0 6px;font-size:16px;line-height:1.35}.journey-list p{color:var(--muted);margin:0 0 12px;font-size:13px}.scope-note{border-left:3px solid var(--accent);background:var(--surface-soft);color:var(--muted);margin-top:40px;padding:17px 20px;font-size:13px}.scope-note strong{color:var(--ink)}
.research-layout{grid-template-columns:minmax(0,1fr) 270px;gap:44px;padding-top:30px;display:grid}.research-layout>div,.research-layout>aside{min-width:0}.rail{border-left:1px solid var(--line);padding-left:24px}.rail-sticky{position:sticky;top:95px}.rail-block{border-bottom:1px solid var(--line);margin-bottom:20px;padding-bottom:20px}.rail-block:last-child{border-bottom:0}.rail h3{font:600 12px/1.4 var(--sans);margin:0 0 10px}.rail p{color:var(--muted);overflow-wrap:anywhere;margin:6px 0;font-size:12px}.rail a{font-size:12px}.content-section{border-bottom:1px solid var(--line);margin-bottom:28px;padding:0 0 28px}.content-section:last-child{border-bottom:0}.content-section[id]{scroll-margin-top:90px}.section-heading{margin-bottom:15px}.section-heading h2,.content-section h2{font:600 21px/1.3 var(--sans);letter-spacing:-.02em;margin:0 0 4px}.section-heading p{color:var(--muted);margin:0;font-size:14px}.content-section h3{margin:18px 0 7px;font-size:16px;line-height:1.35}:where(.content-section) p{max-width:78ch;margin:10px 0}:where(.content-section) p:first-child{margin-top:0}.statement{border:1px solid var(--line);border-left:3px solid var(--accent);background:var(--surface);max-width:100%;font:400 22px/1.45 var(--math-text);overflow-wrap:anywhere;border-radius:0 6px 6px 0;margin:12px 0;padding:18px 21px}.formal{border:1px solid var(--line);background:var(--surface-soft);color:var(--ink);font:12px/1.7 var(--mono);white-space:pre-wrap;overflow-wrap:anywhere;border-radius:6px;padding:17px 19px}.lean-source{white-space:pre;overflow-wrap:normal;max-height:min(70vh,900px);font-size:14px;overflow:auto}.lean-source code{font-size:inherit}.small{font-size:12px}.muted{color:var(--muted)}.mono,.code-value{font-family:var(--mono);overflow-wrap:anywhere;font-size:11px}.info-panel{border:1px solid var(--line);background:var(--surface);border-radius:6px;padding:18px 20px}.info-panel h3{margin:0 0 7px}.info-panel p{color:var(--muted);font-size:14px}.two-col{grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;display:grid}.warning-strip,.notice-strip{border-left:3px solid var(--warn);background:var(--warn-soft);color:var(--warn);padding:12px 15px;font-size:13px}.notice-strip{border-color:var(--accent);background:var(--accent-soft);color:var(--ink)}.warning-strip strong{font-weight:600}.evidence-dimensions{border-top:1px solid var(--line);margin:0}.evidence-row{border-bottom:1px solid var(--line);grid-template-columns:minmax(150px,.8fr) minmax(0,1.2fr);align-items:start;gap:12px;padding:11px 0;font-size:14px;display:grid}.evidence-row dt,.evidence-row dd{margin:0}.source-citation{border-bottom:1px solid var(--line);color:var(--accent);gap:11px;padding:10px 0;text-decoration:none;display:flex}.source-list{margin-top:14px}.source-citation:hover strong{text-decoration:underline}.citation-icon{color:var(--accent)}.citation-text{flex-direction:column;min-width:0;display:flex}.citation-text strong{font-size:14px;font-weight:600}.citation-text small{color:var(--muted);font-size:12px}.detail-list{margin:0}.detail-list>div{border-bottom:1px solid var(--line);grid-template-columns:minmax(125px,32%) minmax(0,1fr);gap:14px;padding:9px 0;display:grid}.detail-list>div:last-child{border-bottom:0}.detail-list dt{color:var(--muted);font-size:12px}.detail-list dd{overflow-wrap:anywhere;min-width:0;margin:0;font-size:14px}.technical-details{border:1px solid var(--line);background:var(--surface);border-radius:6px;margin-top:14px}.technical-details summary{cursor:pointer;justify-content:space-between;gap:12px;padding:12px 15px;font-size:13px;font-weight:600;list-style:none;display:flex}.technical-details summary::-webkit-details-marker{display:none}.technical-details summary:after{content:"+";font-size:17px;font-weight:400;line-height:1}.technical-details[open] summary:after{content:"−"}.technical-details-body{padding:0 15px 15px}.technical-details-body p{color:var(--muted);font-size:12px}.table{border-collapse:collapse;table-layout:fixed;width:100%;font-size:13px}.table th{border-bottom:1px solid var(--line);text-align:left;color:var(--muted);padding:10px 8px;font-size:11px;font-weight:600}.table td{border-bottom:1px solid var(--line);vertical-align:top;overflow-wrap:anywhere;padding:12px 8px}.table a{text-underline-offset:2px;font-weight:600;text-decoration:underline}.context-version{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:15px;padding:14px 0;display:flex}.context-version strong{font-size:13px;display:block}.context-version small{color:var(--muted);font-size:12px;display:block}.context-version a{flex:none}.step-list{margin:0;padding-left:21px}.step-list li{padding:5px 0 5px 5px;font-size:14px}.resource-list{border-top:1px solid var(--line)}.resource-row{border-bottom:1px solid var(--line);justify-content:space-between;align-items:flex-start;gap:18px;padding:15px 0;display:flex}.resource-row>div{min-width:0}.resource-row a{text-underline-offset:3px;font-weight:600}.resource-row p{color:var(--muted);margin:3px 0 0;font-size:13px}.resource-row .status-pill{flex:none}.technical-details .resource-row:last-child{border-bottom:0}.step-list strong{font-weight:500}.timeline{border-left:1px solid var(--line);padding-left:18px}.timeline-item{padding:0 0 20px;position:relative}.timeline-item:before{content:"";background:var(--accent);border-radius:50%;width:7px;height:7px;position:absolute;top:8px;left:-22px}.timeline-item h3{margin:0 0 4px;font-size:14px}.timeline-item p{color:var(--muted);margin:0 0 6px;font-size:13px}.source-view{border:1px solid var(--line);background:var(--surface);border-radius:6px;padding:10px 13px;overflow-x:auto}.code-line{border-bottom:1px solid var(--line);gap:15px;min-width:0;padding:3px 0;display:flex}.code-line .num{min-width:24px;color:var(--subtle);text-align:right;font:11px/1.6 var(--mono)}.code-line .text{white-space:pre-wrap;overflow-wrap:anywhere;font:12px/1.6 var(--mono)}.source-view .anchor:target{background:var(--accent-soft)}.notfound{flex-direction:column;justify-content:center;align-items:flex-start;min-height:55vh;display:flex}.notfound h1{font:600 32px/1.2 var(--sans)}.source-page{overflow-wrap:anywhere}
@media (max-width:900px){.header-inner{gap:20px}.preview-label{display:none}.research-layout{grid-template-columns:minmax(0,1fr);gap:0}.rail{border-left:0;border-top:1px solid var(--line);padding:22px 0 0}.rail-sticky{position:static}.footer-inner{grid-template-columns:1fr 1fr}.footer-inner nav{grid-column:1/-1}}@media (max-width:700px){.header-inner,.footer-inner,.wrap{width:min(100% - 32px,1160px)}.header-inner{gap:14px;min-height:60px}.main-nav{gap:0}.main-nav a{padding:0 10px;font-size:14px}.brand{font-size:18px}.home-hero,.case-card,.journey-list{grid-template-columns:minmax(0,1fr)}.home-hero{gap:24px;padding-block:42px 32px}.home-hero h1{font-size:clamp(33px,8vw,44px)}.home-aside{padding:17px}.home-section{padding-top:34px}.case-card-side{border-left:0;border-top:1px solid var(--line)}.journey-list>div,.journey-list>div+div{border-right:0;border-bottom:1px solid var(--line);padding:15px 0}.journey-list>div:last-child{border-bottom:0}.page-header h1{font-size:clamp(29px,7vw,38px)}.page-summary{font-size:15px}.two-col{grid-template-columns:1fr}.footer-inner{display:block}.footer-inner p+p,.footer-inner nav{margin-top:12px}.evidence-row{grid-template-columns:1fr;gap:5px}.detail-list>div{grid-template-columns:minmax(105px,35%) minmax(0,1fr)}.claim-table,.claim-table tbody,.claim-table tr,.claim-table td{width:100%;display:block}.claim-table thead{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.claim-table tr{border:1px solid var(--line);background:var(--surface);border-radius:6px;margin-bottom:10px;padding:11px 14px}.claim-table td{border:0;padding:5px 0}.claim-table td:not(:first-child):before{content:attr(data-label);color:var(--muted);margin-bottom:2px;font-size:11px;display:block}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}

.catalog-page{padding-bottom:36px}.catalog-heading{padding:36px 0 24px}.catalog-heading-top{justify-content:space-between;align-items:baseline;gap:24px;display:flex}.catalog-heading h1{font:400 clamp(36px, 4vw, 48px) / 1.12 var(--serif);letter-spacing:-.025em;margin:0 0 12px}.catalog-heading-top>a{color:var(--muted);text-underline-offset:4px;font-size:14px}.catalog-heading>p{color:var(--muted);max-width:70ch;margin:0}.catalog-form{min-width:0}.catalog-search{margin-bottom:32px}.search-controls{gap:12px;display:flex}.catalog-search-input{background:var(--surface);border:1px solid var(--line-strong);border-radius:var(--radius-control);flex:1;align-items:center;gap:12px;min-width:0;padding:0 14px;display:flex}.catalog-search-input>svg{color:var(--muted);flex-shrink:0}.catalog-search-input:focus-within{outline:2px solid var(--focus);outline-offset:2px}.catalog-search-input input{background:0 0;border:0;outline:none;width:100%;min-width:0;min-height:48px;padding:12px 0}.catalog-search-input input::placeholder{color:var(--muted)}.catalog-search .button{min-width:96px;min-height:48px;font-size:15px}.catalog-layout{grid-template-columns:240px minmax(0,1fr);align-items:start;gap:40px;display:grid}.catalog-sidebar{min-width:0}.catalog-sidebar-heading{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:12px;min-height:52px;font-size:14px;font-weight:500;display:flex}.catalog-text-button{min-height:44px;color:var(--accent);background:0 0;border:0;padding:8px 0;font-size:13px}.catalog-text-button:disabled{color:var(--muted);cursor:default;opacity:.65}.catalog-filter-group{border:0;border-bottom:1px solid var(--line);min-width:0;margin:0;padding:16px 0 20px}.catalog-filter-group legend{padding:18px 0 0;font-size:14px;font-weight:500}.catalog-field-search{margin:0 0 10px;display:block}.catalog-field-search input,.filter-field input,.filter-field select{border:1px solid var(--line-strong);border-radius:var(--radius-control);width:100%;min-width:0;max-width:100%;min-height:44px;font:400 14px/1.4 var(--sans);color:var(--ink);background:var(--surface);padding:9px 10px}.catalog-field-options{scrollbar-color:var(--line-strong) var(--surface-soft);scrollbar-width:thin;max-height:200px;overflow-y:auto}.catalog-check{cursor:pointer;align-items:center;gap:10px;min-height:44px;padding:7px 2px;font-size:14px;display:flex}.catalog-check input{flex-shrink:0;width:17px;height:17px}.filter-field{min-width:0;color:var(--muted);flex-direction:column;gap:7px;font-size:13px;display:flex}.filter-field label{color:var(--muted)}.catalog-more-filters{border-bottom:1px solid var(--line);padding:14px 0}.catalog-more-filters>summary{cursor:pointer;justify-content:space-between;align-items:center;gap:12px;min-height:44px;font-size:14px;list-style:none;display:flex}.catalog-more-filters>summary::-webkit-details-marker{display:none}.catalog-more-filters[open]>summary>svg{transform:rotate(180deg)}.catalog-advanced-fields{gap:20px;padding-top:12px;display:grid}.catalog-apply{width:100%;min-height:44px;margin-top:20px}.catalog-coverage-note{color:var(--muted);margin:20px 0;font-size:13px}.catalog-coverage-note a{padding-top:6px;display:inline-block}.catalog-filter-toggle{display:none}.catalog-results-panel{min-width:0}.catalog-results-heading{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:16px;min-height:52px;font-size:14px;display:flex}.catalog-results-heading p{margin:0}.catalog-sort{color:var(--muted);align-items:center;gap:8px;font-size:13px;display:flex}.catalog-sort select{background:var(--canvas);max-width:210px;min-height:44px;color:var(--muted);font:inherit;border:0;padding:10px 4px}.active-filters{flex-wrap:wrap;align-items:center;gap:8px;padding-top:16px;display:flex}.active-filters a{max-width:100%;min-height:40px;color:var(--accent);background:var(--accent-soft);border:1px solid var(--line);border-radius:var(--radius-control);overflow-wrap:anywhere;align-items:center;gap:10px;padding:8px 10px;font-size:13px;text-decoration:none;display:inline-flex}.active-filters a:hover{border-color:var(--accent)}.active-filters a.catalog-clear{text-underline-offset:4px;background:0 0;border:0;text-decoration:underline}.catalog-row{border-bottom:1px solid var(--line);padding:26px 0}.catalog-row-heading{justify-content:space-between;align-items:flex-start;gap:20px;display:flex}.catalog-row h2{min-width:0;font:500 25px/1.25 var(--serif);letter-spacing:-.015em;margin:0}.catalog-row h2 a{color:var(--ink);text-underline-offset:4px;text-decoration:none;display:inline-block}.catalog-row h2 a:hover{color:var(--accent);text-decoration:underline}.catalog-row .state-label{border:0;border-radius:4px;flex-shrink:0;max-width:220px;font-size:13px;font-weight:500}.catalog-question{max-width:74ch;margin:10px 0 14px;font-size:16px}.catalog-row-meta{color:var(--muted);flex-wrap:wrap;align-items:baseline;gap:6px 16px;font-size:13px;display:flex}.catalog-row-meta a{text-underline-offset:4px}.catalog-availability{flex-wrap:wrap;gap:8px 18px;margin-top:8px;font-size:13px;display:flex}.catalog-availability a{text-underline-offset:4px;padding-block:5px;display:inline-block}.catalog-pagination{color:var(--muted);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:16px;padding:22px 0;font-size:14px;display:flex}.catalog-page-links{flex-wrap:wrap;align-items:center;gap:16px;display:flex}.catalog-page-links>a,.catalog-page-links>span{align-items:center;min-height:44px;display:inline-flex}.catalog-page-links [aria-disabled=true]{color:var(--subtle)}.catalog-page-size{color:var(--muted);justify-content:flex-end;align-items:center;gap:10px;font-size:13px;display:flex}.catalog-page-size select{border:1px solid var(--line);border-radius:var(--radius-control);min-height:44px;padding:8px}.catalog-empty{padding:36px 0}.catalog-empty h2{font:400 28px/1.25 var(--serif);margin:0 0 12px}.catalog-empty p{color:var(--muted);max-width:60ch}.catalog-msc{color:var(--muted);font-family:var(--mono);margin-left:10px}.depth-mark{border:1px solid var(--line-strong);color:var(--muted);border-radius:4px;padding:5px 8px;font-size:12px;display:inline-flex}.depth-maintained{color:var(--accent);background:var(--accent-soft);border-color:var(--line)}@media (max-width:959px){.catalog-layout{grid-template-columns:minmax(0,1fr);gap:20px}.catalog-filter-toggle{margin-bottom:12px;display:inline-flex}:root[data-js=true] .catalog-sidebar[data-open=false]{display:none}.catalog-sidebar{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius-control);padding:0 16px 8px}.catalog-field-options{max-height:220px}.catalog-row{padding-block:22px}}:root:not([data-js=true]) .catalog-filter-toggle,:root:not([data-js=true]) .catalog-text-button{display:none}@media (max-width:600px){.catalog-heading{padding:26px 0 20px}.catalog-heading-top{align-items:center;gap:12px}.catalog-heading h1{margin-bottom:10px}.catalog-heading-top>a{font-size:12px}.catalog-heading>p{font-size:15px}.search-controls{gap:8px}.catalog-search .button{min-width:76px;padding-inline:12px}.catalog-search{margin-bottom:16px}.catalog-search-input{gap:8px;padding-inline:10px}.catalog-search-input input{font-size:16px}.catalog-results-heading{flex-wrap:wrap;gap:0;padding-block:8px}.catalog-sort{justify-content:space-between;width:100%}.catalog-row-heading{flex-direction:column;gap:10px}.catalog-row h2{font-size:24px}.catalog-row-meta{gap:6px 12px}.catalog-question{font-size:16px}.catalog-pagination{flex-direction:column;align-items:flex-start}.catalog-page-links{justify-content:space-between;gap:10px;width:100%}}
.problem-heading{border-bottom:1px solid var(--line);padding:20px 0 32px}.problem-heading-top{justify-content:space-between;align-items:center;gap:16px;display:flex}.problem-heading h1{max-width:920px;margin:20px 0 24px;font-size:clamp(36px,4.4vw,54px)}.problem-meta{color:var(--muted);flex-wrap:wrap;gap:8px 22px;font-size:12px;display:flex}.problem-meta span:first-child{text-transform:capitalize;color:var(--ink)}.problem-layout{grid-template-columns:220px minmax(0,1fr);gap:54px;padding-top:28px;display:grid}.problem-contents{font-size:13px}.problem-contents nav{position:sticky;top:98px}.problem-contents nav p{letter-spacing:.08em;text-transform:uppercase;color:var(--muted);margin:8px 0 12px;font-size:11px}.problem-contents nav a{color:var(--muted);border-bottom:1px solid var(--line);padding:10px 0;text-decoration:none;display:block}.problem-contents nav a:hover{color:var(--accent)}.back-to-catalog{margin-top:22px;padding-block:10px;display:inline-block}.problem-body{min-width:0;max-width:880px}.problem-body .content-section{margin-top:0;margin-bottom:34px;padding-top:14px;scroll-margin-top:85px}.problem-body .section-heading h2{font-size:21px;font-weight:500}:where(.problem-body) p{font-size:15px}.problem-body .small-note,.small-note{color:var(--muted);font-size:12px}.research-question{border-left:3px solid var(--accent);background:var(--surface);padding:18px 24px}.research-question>p{font:400 25px/1.5 var(--math-text);-webkit-user-select:text;user-select:text;margin:0 0 12px}.copy-question{color:var(--accent);text-underline-offset:3px;background:0 0;border:0;min-height:36px;padding:8px 0;font-size:12px;text-decoration:underline}.copy-status{color:var(--muted);margin-left:12px;font-size:12px}.editorial-note{border:1px solid var(--line);background:var(--surface-soft);padding:18px 22px}.editorial-note h3{margin:5px 0 10px;font-size:23px;font-weight:500}.editorial-note p:last-child{margin-bottom:0}.source-only-note{border-left:3px solid var(--line-strong);background:var(--surface);padding:18px 22px}.research-caution{background:var(--warn-soft);border-left:3px solid var(--warn);color:var(--warn);padding:14px 18px}.source-report{border-bottom:1px solid var(--line);padding:20px 0}.source-report-header{justify-content:space-between;align-items:baseline;gap:20px;display:flex}.source-report h3{margin:0;font-size:15px;font-weight:500}.source-report-header>span{color:var(--muted);white-space:nowrap;font-size:12px}.source-report p{margin:7px 0 0;font-size:13px}.formal-link{border-bottom:1px solid var(--line);padding:20px 0}.formal-link h3,.work-link h3,.recorded-checks h3,.related-problems h3,.provenance-sources h3{margin:10px 0;font-size:17px;font-weight:500}.formal-link code{overflow-wrap:anywhere}.alignment-mark{color:var(--accent);text-transform:capitalize;border-left:2px solid var(--accent);padding-left:8px;font-size:11px}.alignment-disputed{color:var(--warn);border-color:var(--warn)}.recorded-checks{padding:10px 0}.run-evidence-list{margin:18px 0;padding:0;list-style:none}.run-evidence-list li{border-top:1px solid var(--line);padding:12px 0}.run-evidence-list span{color:var(--muted);font-size:12px;display:block}.work-link{border-bottom:1px solid var(--line);padding:10px 0 20px}.provenance-sources>article{border-top:1px solid var(--line);padding:16px 0}.provenance-sources article>p{margin:8px 0}.publication-history{padding-left:20px;font-size:13px}.problem-body .resource-row h3{margin:0;font-size:16px}.trust-page{max-width:880px}.trust-page .page-header{padding-bottom:18px}.trust-page .content-section{margin-block:30px}.trust-page h1{font:400 clamp(34px, 4.2vw, 50px) / 1.2 var(--serif)}.coverage-counts{border-block:1px solid var(--line);grid-template-columns:repeat(5,1fr);gap:18px;padding:20px 0;display:grid}.coverage-counts dt{color:var(--muted);font-size:11px}.coverage-counts dd{font:400 34px/1.5 var(--serif);margin:0}.coverage-sources article{border-top:1px solid var(--line);padding:22px 0}.coverage-sources h3{margin-block:5px;font-size:20px;font-weight:500}
.home-library{grid-template-columns:minmax(0,1.6fr) minmax(0,1fr);column-gap:80px;display:grid}.library-intro{padding-top:64px}.library-intro h1{margin:20px 0 24px;font-size:clamp(38px,4.4vw,60px)}.library-intro h1 em{color:var(--accent);font-style:normal}.library-lead{color:var(--muted);max-width:48ch;margin-bottom:32px;font-size:18px}.home-search{margin-bottom:16px}.home-coverage{border-left:1px solid var(--line);margin-top:72px;padding:24px 0 0 30px}.home-coverage h2{font:400 30px/1.2 var(--serif);margin:18px 0}.home-coverage p{color:var(--muted);font-size:14px}.home-coverage a{font-size:13px}.home-featured{border-top:1px solid var(--line);grid-column:1/-1;margin-top:60px;padding-top:25px}.home-section-heading{justify-content:space-between;align-items:flex-end;gap:24px;display:flex}.home-section-heading h2{font:400 30px/1.2 var(--serif);margin:8px 0 0}.home-section-heading a{font-size:13px}.home-method{grid-column:1/-1;grid-template-columns:repeat(3,1fr);gap:38px;margin-top:38px;display:grid}.home-method span{font:400 11px var(--mono);color:var(--muted)}.home-method h2{font-size:17px;font-weight:500}.home-method p{color:var(--muted);font-size:13px}
@media (max-width:900px){.filter-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.catalog-row{grid-template-columns:minmax(0,1.2fr) minmax(260px,1fr);gap:24px}.problem-layout{grid-template-columns:180px minmax(0,1fr);gap:28px}.home-library{column-gap:32px}.home-section-heading{align-items:flex-start}}@media (max-width:640px){.preview-label{display:none}.catalog-heading{padding-top:10px}.catalog-heading h1{font-size:36px}.catalog-heading>p:not(.page-type){font-size:16px}.catalog-disclosure{font-size:12px}.filter-grid{gap:14px}.filter-field,.filter-checkboxes,.filter-apply{grid-column:1/-1}.filter-checkboxes label{min-height:44px}.filter-apply{justify-content:flex-start}.catalog-row{grid-template-columns:1fr;gap:14px;padding:22px 0}.catalog-row h2{font-size:21px}.catalog-row-state{border-left:2px solid var(--line);gap:3px;padding-left:12px}.catalog-row-state strong{margin-top:3px}.catalog-source{font-size:11px}.catalog-results-heading p:last-child{display:none}.catalog-filters summary span{text-align:right;max-width:52%;font-size:11px}.problem-heading-top{display:block}.problem-heading-top .page-type{margin-bottom:12px}.problem-heading h1{margin-block:20px;font-size:36px}.problem-layout{flex-direction:column;gap:20px;display:flex}.problem-contents nav{flex-wrap:wrap;gap:0 18px;display:flex;position:static}.problem-contents nav p{flex-basis:100%;margin:0}.problem-contents nav a{padding-block:10px;font-size:12px}.back-to-catalog{margin-top:8px}.research-question{padding:16px 18px}.research-question>p{font-size:25px}.source-report-header{display:block}.source-report-header>span{margin-top:6px;display:block}.editorial-note,.source-only-note{padding:16px}.coverage-counts{grid-template-columns:repeat(2,1fr)}.home-library{display:block}.library-intro{padding-top:36px}.library-intro h1{font-size:39px}.home-coverage{border-left:0;border-top:1px solid var(--line);margin-top:32px;padding:22px 0 0}.home-featured{margin-top:32px}.home-section-heading{display:block}.home-section-heading a{margin-top:12px;display:inline-block}.home-method{grid-template-columns:1fr;gap:16px}.search-controls{gap:8px}.home-search .search-controls{flex-direction:column}.home-search button{align-self:flex-start}.active-filters a{min-height:44px}}@media (max-width:800px){.reader-page .problem-layout{flex-direction:column;gap:20px;display:flex}.reader-page .problem-contents nav{flex-wrap:wrap;gap:0 18px;display:flex;position:static}.reader-page .problem-contents nav p{flex-basis:100%}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
.research-views{border-bottom:1px solid var(--line);flex-wrap:wrap;gap:4px 20px;margin-bottom:10px;display:flex}.research-views a{min-height:48px;color:var(--muted);border-bottom:3px solid #0000;align-items:center;gap:10px;padding:8px 0;font-size:14px;display:flex}.research-views a[aria-current=page]{color:var(--accent);border-color:var(--accent);font-weight:600}.research-views a span{font-family:var(--mono);background:var(--surface);border-radius:3px;padding:2px 6px;font-size:11px}.view-explanation{color:var(--muted);max-width:850px;margin-bottom:20px;font-size:12px}.status-heading{flex-wrap:wrap;align-items:center;gap:8px 12px;display:flex}.status-heading>span{color:var(--muted);font-size:12px}.state-label{border:1px solid var(--line);background:var(--surface);border-radius:3px;padding:4px 8px;font-size:14px;font-weight:600;line-height:1.4;display:inline-block}.state-proved,.state-resolved,.state-refuted{color:var(--good);background:var(--good-soft);border-color:var(--good-line)}.state-open,.state-partial{color:var(--warn);background:var(--warn-soft);border-color:var(--warn-line)}.state-unknown{color:var(--muted);background:var(--surface-soft);border-color:var(--line)}.state-proposed{color:var(--warn);background:var(--warn-soft);border-color:var(--warn-line)}.state-disputed{color:var(--bad);background:var(--bad-soft);border-color:var(--bad-line)}.research-status .status-summary{margin:12px 0 8px;font-size:15px;line-height:1.55}.research-status .status-attribution{color:var(--muted);margin:10px 0;font-size:11px}.status-progress{border-left:2px solid var(--accent);gap:8px;margin:12px 0;padding-left:12px;font-size:13px;display:grid}.research-status .status-remaining{font-size:13px}.catalog-row-state .research-status,.catalog-row-state .status-heading{display:block}.catalog-row-state .status-heading>span{margin-top:6px;display:block}.catalog-source:first-letter,.problem-meta:first-letter{text-transform:uppercase}.claim-group{margin:28px 0}.claim-row{border-top:1px solid var(--line);padding:20px 0;scroll-margin-top:130px}.claim-row .page-type{margin-bottom:8px;font-size:11px}.claim-row h3{margin:8px 0;font-size:21px}.claim-row p{font-size:15px;line-height:1.6}.claim-row .claim-statement{font-size:18px;font-family:var(--math-text)}.claim-row .small-note{font-size:12px}@media (max-width:650px){.research-views{gap:0 16px}.research-views a{font-size:12px}.catalog-row-state .status-heading{display:flex}.status-summary{max-width:100%}}.catalog-claims-summary{color:var(--accent);margin:10px 0 0;font-size:12px}.progress-map{border-top:2px solid var(--accent);margin-top:28px}.progress-row{border-bottom:1px solid var(--line);grid-template-columns:minmax(120px,.6fr) minmax(0,2fr);gap:28px;padding:28px 0;scroll-margin-top:130px;display:grid}.progress-aspect .page-type{margin:0 0 10px;font-size:11px;line-height:1.6}.progress-type{color:var(--accent);border-left:2px solid var(--accent);padding-left:8px;font-size:12px;display:inline-block}.progress-content h3{margin:0 0 12px;font-size:23px}.progress-content .progress-summary{font-family:var(--serif);font-size:20px;line-height:1.4}.progress-assumptions{padding-left:18px;font-size:14px;line-height:1.65}.problem-body .progress-gap{background:var(--surface);border-left:2px solid var(--warn-line);padding:12px 16px;font-size:14px}.progress-detail,.evidence-notes{margin:16px 0;font-size:13px}.progress-detail summary,.evidence-notes summary,.curation-coverage summary{cursor:pointer;color:var(--accent);font-weight:500}.progress-detail p,.source-evidence p{font-size:14px}.overlap-links a{margin:6px 0;display:block}.research-activity{border-top:1px solid var(--line);padding:24px 0}.research-activity .page-type{font-size:11px}.evidence-links{flex-wrap:wrap;gap:14px 24px;margin:16px 0;display:flex}.evidence-links>div{min-width:0;max-width:100%}.evidence-links a{font-size:14px;font-weight:500}.evidence-links span{color:var(--muted);margin-top:4px;font-size:11px;display:block}.source-evidence,.curation-coverage{overflow-wrap:anywhere}.status-knowledge{font-size:13px;line-height:1.7}.progress-category-nav{border-bottom:1px solid var(--line);flex-wrap:wrap;gap:8px 20px;padding:18px 0;display:flex}.progress-category-nav a{text-underline-offset:4px;font-size:13px;text-decoration:underline}.progress-category-heading{border-bottom:2px solid var(--line);margin:36px 0 0;padding:12px 0;scroll-margin-top:110px;font-size:20px}.grounded-insight{border-bottom:1px solid var(--line);padding:24px 0;scroll-margin-top:110px}.grounded-insight h3{margin-top:0}.interpretations{border-left:3px solid var(--accent);margin-top:28px;padding-left:22px}.research-citations{padding-left:20px;font-size:13px}.research-citations li{margin:14px 0}.research-citations span{color:var(--muted);overflow-wrap:anywhere;display:block}.research-claim-links{padding-left:20px}.research-claim-links li{margin:8px 0}.connection-table{border-collapse:collapse;table-layout:fixed;width:100%;font-size:14px}.connection-table caption{text-align:left;color:var(--muted);padding:16px 0;font-size:12px}.connection-table th,.connection-table td{text-align:left;vertical-align:top;border-bottom:1px solid var(--line);overflow-wrap:anywhere;padding:22px 16px 22px 0}.connection-table thead th:first-child{width:32%}.connection-table tbody th{font-weight:500}.connection-direction{color:var(--muted);margin:12px 0;font-size:12px;display:block}.connection-table p:first-child{margin-top:0}.connection-table details{font-size:13px}.impact-scenario{border:1px solid var(--line);margin-top:32px;padding:0 24px}.scenario-heading{border-bottom:2px solid var(--line);flex-wrap:wrap;align-items:baseline;gap:8px 24px;padding:20px 0;display:flex}.scenario-heading h3{margin:0;font-size:25px}.scenario-heading a{font-size:12px}.research-timeline{margin:30px 0;padding:0;list-style:none}.research-timeline>li{grid-template-columns:120px minmax(0,1fr);gap:24px;margin:0;display:grid}.milestone-date{padding-top:26px;font-size:14px;font-weight:600}.milestone-date span{color:var(--muted);margin-top:5px;font-size:11px;font-weight:400;display:block}.research-timeline article{border-left:1px solid var(--line);padding:24px 0 32px 28px;position:relative}.research-timeline article:before{content:"";background:var(--accent);border-radius:50%;width:7px;height:7px;position:absolute;top:31px;left:-4px}.milestone-category{text-transform:uppercase;letter-spacing:.06em;color:var(--muted);margin:0 0 8px;font-size:11px}.milestone-proposal{color:var(--warn)}.research-timeline h3{margin:0 0 12px}.research-explore{margin-top:20px;font-weight:500;display:block}.research-history-page{max-width:1020px;padding-bottom:70px}.timeline-filters{border-block:1px solid var(--line);flex-wrap:wrap;align-items:end;gap:16px;padding:24px 0;display:flex}.timeline-filters label{gap:8px;font-size:13px;font-weight:500;display:grid}.timeline-filters select{font:inherit;border:1px solid var(--line);min-height:44px;color:var(--ink);background:var(--surface);border-radius:4px;padding:12px}.timeline-filters button{background:var(--accent);min-height:44px;color:var(--accent-ink);font:inherit;cursor:pointer;border:0;border-radius:4px;padding:12px 22px;font-weight:600}@media (max-width:650px){.research-timeline>li{grid-template-columns:minmax(0,1fr);gap:0}.milestone-date{border-left:1px solid var(--line);padding:18px 0 0 22px}.milestone-date span{margin-left:10px;display:inline}.research-timeline article{padding:12px 0 24px 22px}.research-timeline article:before{top:-22px}.impact-scenario{padding:0 16px}.connection-table th,.connection-table td{padding-right:10px}.connection-table thead th:first-child{width:38%}.connection-table{font-size:13px}.timeline-filters label,.timeline-filters select{width:100%}}.curation-coverage{border:1px solid var(--line);margin-bottom:24px;padding:20px}@media (max-width:650px){.progress-row{grid-template-columns:minmax(0,1fr);gap:16px;padding:24px 0}.progress-aspect{flex-wrap:wrap;align-items:baseline;gap:8px 16px;display:flex}.progress-aspect .page-type{margin:0}}.source-entry-locators{padding-left:1.2rem}.source-entry-locators li{margin:.8rem 0}.source-entry-locators code{overflow-wrap:anywhere;color:var(--muted);display:block}
.catalog-matches{border-left:2px solid var(--line);margin-block:1rem 0;padding:0 0 0 .9rem;list-style:none}.catalog-matches li{margin-top:.7rem;font-size:.85rem}.catalog-matches p{color:var(--muted);margin-block:.25rem;font-size:.8rem}.catalog-matches a{display:inline-block}
.reader-page{overflow-wrap:anywhere}.reader-heading{padding-bottom:1.5rem}.reader-status-line{flex-wrap:wrap;align-items:center;gap:.7rem;display:flex}.reader-kind{text-transform:capitalize;color:var(--muted)}.reader-page .content-section{margin-bottom:2.5rem}.reader-page .content-section>p{max-width:70ch}.reader-open-question{border-left:3px solid var(--accent);background:var(--surface);padding:.8rem 1rem}.reader-result-group>h3,.reader-proposals>h3,.reader-formulations h3{margin:1.6rem 0 .7rem;font-size:1rem}.reader-result{border-bottom:1px solid var(--line);padding:1.2rem 0}.reader-result h4,.reader-result h5{font-family:var(--serif);margin:0 0 .6rem;font-size:1.35rem;line-height:1.3}.reader-result p{margin:.5rem 0}.reader-assumptions,.reader-limit{color:var(--muted);font-size:.92rem}.reader-label{color:var(--muted);font-size:.8rem}.reader-proposals{border-left:2px solid var(--warn);margin-top:1.5rem;padding-left:1rem}.reader-claim-list{padding:0;list-style:none}.reader-claim-list li{border-bottom:1px solid var(--line);padding:.8rem 0;scroll-margin-top:110px}.reader-claim-list li>span{color:var(--muted);margin-top:.3rem;font-size:.8rem;display:block}.reader-formulation-block{border-left:2px solid var(--accent);padding-left:1.2rem}.reader-formulation-list{margin:0}.reader-formulation-list>div{margin:1rem 0}.reader-formulation-list dt{font-weight:500}.reader-formulation-list dd{margin:.35rem 0 0}.reader-formulation-list dd p{margin:.4rem 0}.reader-evidence-link{margin-top:.35rem;display:inline-block}.reader-assertion-evidence{margin-top:.6rem}.reader-assertion-evidence>summary{color:var(--accent);cursor:pointer}.reader-inline-claim{margin:.8rem 0}.reader-inline-claim h3{margin-bottom:.5rem}.reader-disclosure{border:1px solid var(--line);border-radius:3px;margin:.8rem 0;padding:.8rem 1rem}.reader-disclosure summary{cursor:pointer;font-weight:500}.reader-disclosure[open]>summary{margin-bottom:1rem}.reader-disclosure article{padding:.8rem 0}.reader-disclosure h3{font-size:1.1rem}.reader-bibliography{padding:0;list-style:none}.reader-bibliography li{border-bottom:1px solid var(--line);padding:.85rem 0}.reader-bibliography p{color:var(--muted);margin:.25rem 0 0;font-size:.85rem}.reader-contents a[aria-current=location]{color:var(--accent);border-left:2px solid;padding-left:.6rem;font-weight:600}.source-page{max-width:880px;padding-bottom:4rem}.reader-page h2{font-size:1.7rem}.reader-page [id]{scroll-margin-top:110px}@media (max-width:700px){.reader-contents{flex-wrap:wrap;gap:.4rem .9rem;display:flex}.reader-contents p{width:100%;margin:0}.reader-contents a{font-size:.85rem}.reader-page .problem-heading h1{margin-block:12px 16px;font-size:1.95rem;line-height:1.12}.reader-page .reader-heading{padding-block:12px 16px}.reader-heading>.small-note{margin-block:.5rem 0}.reader-status-line{gap:.4rem .6rem;font-size:.9rem}.reader-page h2{font-size:1.45rem}.reader-result h4,.reader-result h5{font-size:1.2rem}}.reader-explanation:focus-visible{outline:2px solid var(--accent);outline-offset:4px}.reader-activity .page-type{margin-bottom:.4rem;font-size:.75rem}.reader-related-knowledge{margin-top:1.6rem}.reader-related-knowledge>h3{font-size:1rem}.reader-scenario{margin:1.4rem 0}.reader-scenario>h4{margin-bottom:.6rem;font-size:1rem}.reader-result:focus-visible{outline:2px solid var(--accent);outline-offset:4px}.problem-body,.problem-heading,.claim-contexts{overflow-wrap:anywhere;min-width:0}.claim-contexts{border-top:1px solid var(--line);padding-block:1rem}.claim-contexts[data-selected]{border-left:2px solid var(--accent);padding-inline-start:1rem}.reader-related-knowledge .reader-result-group>h4{color:var(--muted);margin-block:1.5rem .25rem}.reader-page .reader-result .reader-label{font-size:.8rem}.loading-title{font-family:var(--serif);font-size:2rem}
.problem-page.reader-page{padding-bottom:80px}.problem-page.reader-page .reader-heading{padding:24px 0 0}.problem-toolbar{justify-content:space-between;align-items:flex-start;gap:16px;margin-bottom:30px;display:flex}.problem-page.reader-page .back-to-catalog{margin:0;padding:8px 0;font-size:14px;text-decoration:none}.problem-page.reader-page .reader-heading>.page-type{color:var(--muted);letter-spacing:.06em;margin:0;font-size:12px}.problem-page.reader-page .reader-heading h1{max-width:24ch;font:400 clamp(34px, 4vw, 52px) / 1.12 var(--serif);letter-spacing:-.025em;margin:14px 0 24px}.problem-status-bar{flex-wrap:wrap;align-items:baseline;gap:10px 24px;display:flex}.problem-status-basis{color:var(--muted);flex:360px;margin:0;font-size:13px}.problem-page.reader-page .reader-status-line{gap:10px;font-size:13px}.problem-page.reader-page .reader-kind{font-size:12px}.problem-record-actions{flex-shrink:0;position:relative}.problem-action-menu{position:relative}.problem-action-menu>summary{border:1px solid var(--line-strong);border-radius:var(--radius-control);cursor:pointer;align-items:center;gap:18px;padding:8px 12px;font-size:14px;list-style:none;display:flex}.problem-action-menu>summary::-webkit-details-marker{display:none}.problem-action-menu[open]>summary{background:var(--surface-soft)}.problem-action-options{background:var(--surface);border:1px solid var(--line);width:240px;max-width:calc(100vw - 40px);box-shadow:var(--shadow-popover);z-index:20;border-radius:8px;padding:6px;position:absolute;top:calc(100% + 8px);right:0}.problem-action-options>a,.problem-action-options>button{text-align:left;width:100%;min-height:44px;color:var(--ink);background:0 0;border:0;border-radius:4px;padding:10px 12px;font-size:14px;text-decoration:none;display:block}.problem-action-options>:hover{background:var(--accent-soft);color:var(--accent)}.problem-action-status:not(:empty){background:var(--surface);border:1px solid var(--line);z-index:10;width:240px;padding:10px 12px;font-size:13px;position:absolute;top:calc(100% + 8px);right:0}.problem-page.reader-page .problem-layout{grid-template-columns:154px minmax(0,1fr);column-gap:56px;padding-top:36px}.problem-page.reader-page .problem-body{max-width:880px}.problem-page.reader-page .problem-contents nav a{border-bottom:0;padding-block:9px}.problem-page.reader-page .problem-contents nav p{margin-top:0}.problem-page.reader-page .problem-body .content-section{border-bottom:0;margin:0 0 56px;padding:0}.problem-page.reader-page .problem-body .section-heading{border-top:1px solid var(--line);gap:4px;margin-bottom:24px;padding-top:28px;display:grid}.problem-page.reader-page .problem-body .section-heading>p{max-width:76ch;color:var(--muted);font-size:15px;line-height:1.5}.problem-page.reader-page .problem-body #overview>.section-heading{border-top:0;padding-top:0}.problem-page.reader-page .problem-body .section-heading h2{font:500 25px/1.25 var(--serif);margin:0}:where(.problem-page.reader-page .problem-body) p{max-width:76ch;font-size:16px;line-height:1.7}.problem-page.reader-page .problem-body .small-note,.problem-page.reader-page .problem-body .reader-label{font-size:13px;line-height:1.6}.problem-page.reader-page .problem-body .reader-limit,.problem-page.reader-page .problem-body .reader-assumptions{font-size:14px;line-height:1.65}.problem-page.reader-page .research-question{background:0 0;border-left:0;margin-bottom:20px;padding:0}.problem-page.reader-page .problem-body .research-question>p{font:400 23px/1.5 var(--math-text);letter-spacing:0;max-width:60ch}.problem-page.reader-page .copy-question{min-height:44px;padding:8px 0;font-size:13px}.problem-at-a-glance{border-block:1px solid var(--line);grid-template-columns:1fr 1fr;gap:28px;margin:24px 0;padding:24px 0;display:grid}.problem-at-a-glance h3{font:500 14px/1.4 var(--sans);margin:0 0 8px}.problem-at-a-glance p{margin:0}.problem-remaining{border-left:1px solid var(--line);padding-left:24px}.problem-page.reader-page .reader-disclosure{border:0;border-bottom:1px solid var(--line);border-radius:0;margin:12px 0;padding:0}.problem-page.reader-page .reader-disclosure>summary{min-height:48px;padding:14px 2px;font-weight:500;line-height:1.5}.problem-page.reader-page .reader-disclosure[open]{padding-bottom:16px}.problem-page.reader-page .reader-disclosure[open]>summary{margin-bottom:4px}.problem-page.reader-page .reader-disclosure .reader-disclosure{margin-left:12px}.question-part-status{color:var(--muted);margin-top:4px;padding-left:18px;font-size:12px;font-weight:400;display:block}.problem-page.reader-page .reader-result h4,.problem-page.reader-page .reader-result h5{font:500 21px/1.35 var(--serif)}.problem-page.reader-page .reader-result h4 a,.problem-page.reader-page .reader-result h5 a{text-decoration:none}.problem-page.reader-page .reader-result h4 a:hover,.problem-page.reader-page .reader-result h5 a:hover{text-decoration:underline}.problem-page.reader-page .reader-proposals{background:var(--warn-soft);border-left:3px solid var(--warn);margin-top:28px;padding:16px 20px}.problem-page.reader-page .reader-proposals>h3{color:var(--warn);margin-top:0}.problem-page.reader-page .reader-proposals>p{margin-bottom:4px}.problem-page.reader-page .reader-source-updates{border-left:3px solid var(--warn);background:var(--warn-soft);margin-bottom:24px;padding:18px 20px}.problem-page.reader-page .reader-source-updates>h3{color:var(--warn);margin:0 0 12px;font-size:14px}.problem-page.reader-page .reader-source-updates h4{margin:8px 0;font-size:17px}.problem-evidence-facts,.problem-record-facts{grid-template-columns:repeat(3,minmax(0,1fr));gap:20px;margin:0 0 24px;display:grid}.problem-evidence-facts dt,.problem-record-facts dt{color:var(--muted);margin-bottom:5px;font-size:12px}.problem-evidence-facts dd,.problem-record-facts dd{margin:0;font-size:14px}.problem-evidence-group{margin:28px 0}.problem-evidence-group>h3,.problem-methods>div>h3{margin-bottom:12px;font-size:16px}.problem-source-report{border-top:1px solid var(--line);padding:16px 0}.problem-source-report>h4{margin:4px 0 10px;font-size:17px;font-weight:500}.problem-source-report>p{margin:6px 0}.formal-target-group{margin:24px 0}.formal-target-group>h4{margin:0 0 8px;font-size:16px;font-weight:500}.problem-page.reader-page .formal-link{padding:0}.problem-page.reader-page .formal-link>summary{font-size:15px}.fragment-alias{scroll-margin-top:120px;display:block}.problem-methods{margin-top:32px}@media (max-width:1000px) and (min-width:801px){.problem-page.reader-page .problem-layout{grid-template-columns:136px minmax(0,1fr);gap:30px}}@media (max-width:800px){.problem-page.reader-page .problem-layout{gap:24px;padding-top:0;display:flex}.problem-page.reader-page .problem-contents{z-index:5;background:var(--canvas);width:100%;position:sticky;top:68px}.problem-page.reader-page .problem-contents nav{gap:0 20px}.problem-page.reader-page .problem-contents nav a{min-height:44px;padding:12px 2px;font-size:14px}.problem-page.reader-page .reader-heading{padding-top:20px}.problem-page.reader-page .problem-body .section-heading h2{font-size:24px}.problem-page.reader-page .problem-body .content-section{margin-bottom:36px}.problem-page.reader-page .problem-body>#overview>.section-heading{padding-top:0}.problem-page.reader-page .reader-heading h1{margin-top:12px;font-size:clamp(32px,5.5vw,44px)}.problem-page.reader-page .problem-body .research-question>p{font-size:20px}.problem-toolbar{margin-bottom:22px}}@media (max-width:560px){:where(.problem-page.reader-page .problem-body) p{font-size:15px}.problem-at-a-glance{grid-template-columns:1fr;gap:20px;margin:20px 0;padding:20px 0}.problem-remaining{border-left:0;border-top:1px solid var(--line);padding:18px 0 0}.problem-evidence-facts,.problem-record-facts{grid-template-columns:1fr;gap:16px}.problem-page.reader-page .reader-proposals,.problem-page.reader-page .reader-source-updates{padding:16px}.problem-page.reader-page .reader-disclosure .reader-disclosure{margin-left:4px}}.formal-proof-coverage{color:var(--muted);margin-top:4px;padding-left:18px;font-size:12px;font-weight:400;display:block}.formal-proof-coverage[data-proof-status=statement_only]{color:var(--warn)}@media (max-width:640px){.problem-page.reader-page .problem-contents{top:60px}}.problem-at-a-glance>:only-child{grid-column:1/-1}.problem-page.reader-page .problem-hero .research-question{max-width:44rem;margin-top:var(--space-4)}.problem-page.reader-page .problem-hero .research-question>p{margin:0 0 var(--space-2);font:400 1.5rem / 1.45 var(--math-text)}.question-tools{align-items:center;gap:var(--space-2);flex-wrap:wrap;display:flex}@media (max-width:700px){.problem-page.reader-page .problem-hero .research-question>p{font-size:1.25rem}}.reader-reading-notes{margin:var(--space-5) 0}.problem-page.reader-page [id]{scroll-margin-top:var(--reader-anchor-offset,128px)}.problem-page.reader-page .problem-hero{border-bottom:0;padding-bottom:0}.reader-reading-notes>h3{margin:0 0 var(--space-3);color:var(--muted);font:600 .6875rem / 1.4 var(--sans);letter-spacing:.08em;text-transform:uppercase}
.statement-heading-meta{justify-content:space-between;align-items:flex-start;gap:16px;display:flex}.statement-heading-meta .page-type{color:var(--muted);letter-spacing:.05em;text-transform:uppercase;margin:8px 0;font-size:12px}.problem-page.reader-page .statement-heading h1{max-width:29ch;margin:14px 0 20px;font-size:clamp(32px,3.5vw,46px)}.statement-status{flex-wrap:wrap;align-items:baseline;gap:12px 20px;display:flex}.statement-status .state-label{text-decoration:none}.statement-context-note,.statement-version-note{margin:18px 0 0;font-size:14px}.statement-version-note{background:var(--surface-soft);border-left:2px solid var(--accent);padding:12px 16px}.statement-facts dl{border-top:1px solid var(--line);margin:20px 0 8px}.statement-facts dl>div{border-bottom:1px solid var(--line);grid-template-columns:minmax(100px,1fr) minmax(0,3fr);gap:16px;padding:12px 0;display:grid}.statement-facts dt{color:var(--muted);font-size:14px}.statement-facts dd{min-width:0;margin:0}.statement-assessment,.statement-problem-context,.statement-assessment-history{border-bottom:1px solid var(--line);margin:0 0 24px;padding:0 0 24px}.claim-page h4{margin:12px 0;font-size:17px;font-weight:500}.claim-page h5{margin:20px 0 8px;font-size:16px}.statement-context-evidence{border-left:2px solid var(--line-strong);margin-top:28px;padding-left:20px}.statement-connection{border:1px solid var(--line);background:var(--surface-soft);margin-top:20px;padding:16px 20px}.statement-connection-endpoints{border-left:2px solid var(--line-strong);margin:18px 0;padding-left:16px}.statement-connection-endpoints a{font-weight:500;display:block}.statement-connection-endpoints a[aria-current]{color:var(--ink)}.statement-connection-relation{color:var(--muted);margin:10px 0;font-size:13px;display:block}.statement-passages{padding-left:20px}.statement-passages>li{margin-bottom:16px}.statement-source-wording{margin:8px 0;font-size:14px}.statement-source-wording>summary{cursor:pointer;color:var(--muted)}.statement-versions{flex-wrap:wrap;gap:8px;margin:12px 0 20px;display:flex}.statement-versions a{border:1px solid var(--line);border-radius:var(--radius-control);padding:8px 12px;font-size:14px}.statement-versions a[aria-current]{background:var(--surface-soft);border-color:var(--line-strong);font-weight:500}.claim-page .formal,.claim-page code{overflow-wrap:anywhere}@media (max-width:600px){.statement-heading-meta{align-items:center;gap:8px}.statement-heading-meta .page-type{letter-spacing:.025em;font-size:10px}.statement-heading-meta .problem-action-menu>summary{padding:7px 9px}.statement-facts dl>div{grid-template-columns:1fr;gap:4px}.statement-connection{padding:12px}.statement-status{gap:8px}}.claim-page #statement>ul li,.claim-page .statement-scope>p{font:400 1.0625rem/1.6 var(--math-text)}
.source-page.source-reader{max-width:1240px}.problem-page.reader-page .source-heading h1{max-width:31ch;margin-bottom:18px;font-size:clamp(32px,3.7vw,48px)}.source-byline{max-width:85ch;color:var(--muted);margin:0 0 24px;font-size:17px}.source-heading-bottom,.source-publication,.source-passage-meta,.source-passage-links,.source-use-links,.source-overview-links{flex-wrap:wrap;align-items:baseline;gap:12px 24px;display:flex}.source-heading-bottom{justify-content:space-between;align-items:center}.source-publication{color:var(--muted);font-size:14px}.source-publication-label,.source-withdrawn{border:1px solid var(--line-strong);color:var(--ink);border-radius:4px;padding:3px 10px}.source-withdrawn{color:var(--warn);border-color:var(--warn-line);background:var(--warn-soft)}.source-primary{flex-shrink:0;min-height:44px}.source-record-notice,.source-withdrawn-note{border-left:2px solid var(--line-strong);background:var(--surface-soft);margin-top:24px;padding:12px 16px;font-size:14px}.source-historical-notice,.source-withdrawn-note{border-left-color:var(--warn-line);background:var(--warn-soft)}.source-scope{font-size:18px;line-height:1.7}.source-publication-note{color:var(--muted);font-size:15px}.source-overview-links{margin-top:24px}.source-reader .problem-body{min-width:0}.problem-page.reader-page.source-reader .problem-body>.content-section{border-bottom:0;padding-bottom:0}.problem-page.reader-page.source-reader .problem-body .section-heading{display:block}.problem-page.reader-page.source-reader .problem-body .section-heading>p{max-width:70ch;margin-top:10px}.problem-page.reader-page.source-reader .problem-body #overview>.section-heading{border-top:0;padding-top:0}.source-reader .problem-body :is(h3,h4){font-family:var(--sans);margin:0 0 12px;font-weight:500;line-height:1.45}.source-reader .problem-body h3{font-size:20px}.source-reader .problem-body h4{font-size:17px}.source-reader :is(p,h1,h3,h4,a,dd,code,select){overflow-wrap:anywhere}.source-eyebrow,.source-use-role{color:var(--muted);letter-spacing:.03em;font-size:12px;font-weight:500}.source-eyebrow{text-transform:uppercase}.source-passage{border-bottom:1px solid var(--line);padding:24px 0;scroll-margin-top:120px}.source-passage:last-child,.source-use-context:last-child,.source-resource:last-child,.source-formal:last-child{border-bottom:0;margin-bottom:0;padding-bottom:0}.source-passage-meta{justify-content:space-between;margin-bottom:14px;font-size:13px}.source-wording{border-left:2px solid var(--line-strong);padding-left:20px;line-height:1.8}.source-passage-links,.source-use-links{margin:20px 0 12px;font-size:14px}.source-reader .technical-details{margin-top:20px}.source-passage-index ol{padding-left:24px}.source-passage-index li{margin:10px 0}.source-use-context{border-bottom:1px solid var(--line);margin:0 0 24px;padding:8px 0 24px}.source-use-context>h3{margin-bottom:4px}.source-use-context>.small-note{margin-top:0}.source-use-statement{border-left:2px solid var(--line);margin-top:28px;padding-left:20px}.source-use-record{padding:12px 0}.source-use-role{margin:0 0 12px}.source-citation-passages{color:var(--muted);padding-left:20px;font-size:13px}.source-citation-passages li{margin:6px 0}.source-anchor{scroll-margin-top:120px;display:block}.source-limitation{color:var(--muted);border-left:2px solid var(--line-strong);padding-left:16px}.source-resource,.source-formal{border-bottom:1px solid var(--line);padding:24px 0}.source-resource:first-child{padding-top:0}.source-resource .source-eyebrow{margin:0 0 8px}.source-resource-assessment{color:var(--muted);font-size:14px}.source-formal-list{margin-top:36px}.source-attribution-note{border-top:1px solid var(--line);margin-top:24px;padding-top:24px}.source-reader .problem-body .source-attribution-note h3{font-size:16px}.source-version-picker{margin:24px 0}.source-version-picker label{margin-bottom:8px;font-size:14px;font-weight:500;display:block}.source-version-picker>div{gap:12px;display:flex}.source-version-picker select{border:1px solid var(--line-strong);border-radius:var(--radius-control);flex:1;min-width:0;padding:10px}.source-version-picker button{flex-shrink:0}.source-version-list{padding:0;list-style:none}.source-version-list li{border-top:1px solid var(--line);padding:20px 0}.source-version-list li>div{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:8px 20px;display:flex}.source-version-list a[aria-current]{color:var(--ink);font-weight:500}.source-version-list li>p{margin-bottom:0;font-size:14px}.source-reader .source-view{overflow-x:auto}@media (max-width:640px){.source-heading-bottom{flex-direction:column;align-items:flex-start;gap:20px}.source-version-picker>div{flex-direction:column;align-items:stretch}.source-use-statement{padding-left:14px}.source-wording{padding-left:16px}.source-reader .technical-details-body{padding:16px 12px}}