@font-face{font-family:Libertinus Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/libertinus-serif-cyrillic-ext-400-normal.BVNzkRPT.woff2)format("woff2"),url(/_astro/libertinus-serif-cyrillic-ext-400-normal.ZOYDKqhl.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:Libertinus Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/libertinus-serif-cyrillic-400-normal.DPPFrA-m.woff2)format("woff2"),url(/_astro/libertinus-serif-cyrillic-400-normal.7QypKdv7.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Libertinus Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/libertinus-serif-greek-ext-400-normal.BUcreWpm.woff2)format("woff2"),url(/_astro/libertinus-serif-greek-ext-400-normal.D9WhVXWl.woff)format("woff");unicode-range:U+1F??}@font-face{font-family:Libertinus Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/libertinus-serif-greek-400-normal.T7NNp_YN.woff2)format("woff2"),url(/_astro/libertinus-serif-greek-400-normal.CfjrevD3.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:Libertinus Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/libertinus-serif-hebrew-400-normal.CIBUtEUZ.woff2)format("woff2"),url(/_astro/libertinus-serif-hebrew-400-normal.DR_LTpot.woff)format("woff");unicode-range:U+307-308,U+590-5FF,U+200C-2010,U+20AA,U+25CC,U+FB1D-FB4F}@font-face{font-family:Libertinus Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/libertinus-serif-vietnamese-400-normal.DKqNWPd8.woff2)format("woff2"),url(/_astro/libertinus-serif-vietnamese-400-normal.BkUkdNF1.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:Libertinus Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/libertinus-serif-latin-ext-400-normal.D-_kZ8o8.woff2)format("woff2"),url(/_astro/libertinus-serif-latin-ext-400-normal.CD2IRtIq.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:Libertinus Serif;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/libertinus-serif-latin-400-normal.UuLrF836.woff2)format("woff2"),url(/_astro/libertinus-serif-latin-400-normal.23LEb6vZ.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:Libertinus Serif;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/libertinus-serif-cyrillic-ext-700-normal.C-1o9NjX.woff2)format("woff2"),url(/_astro/libertinus-serif-cyrillic-ext-700-normal.auD0OQIG.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:Libertinus Serif;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/libertinus-serif-cyrillic-700-normal.BLXSzlaz.woff2)format("woff2"),url(/_astro/libertinus-serif-cyrillic-700-normal.qG8nd6M6.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Libertinus Serif;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/libertinus-serif-greek-ext-700-normal.CP8Uh17X.woff2)format("woff2"),url(/_astro/libertinus-serif-greek-ext-700-normal.CrhDcdoQ.woff)format("woff");unicode-range:U+1F??}@font-face{font-family:Libertinus Serif;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/libertinus-serif-greek-700-normal.KWT5_65o.woff2)format("woff2"),url(/_astro/libertinus-serif-greek-700-normal.CXDj_ICm.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:Libertinus Serif;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/libertinus-serif-hebrew-700-normal.BWbNcTjT.woff2)format("woff2"),url(/_astro/libertinus-serif-hebrew-700-normal.DoVdRIG1.woff)format("woff");unicode-range:U+307-308,U+590-5FF,U+200C-2010,U+20AA,U+25CC,U+FB1D-FB4F}@font-face{font-family:Libertinus Serif;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/libertinus-serif-vietnamese-700-normal.CymlxKnI.woff2)format("woff2"),url(/_astro/libertinus-serif-vietnamese-700-normal.UfZOhZh1.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:Libertinus Serif;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/libertinus-serif-latin-ext-700-normal.CZnEAd_f.woff2)format("woff2"),url(/_astro/libertinus-serif-latin-ext-700-normal.BnpUnHj-.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:Libertinus Serif;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/libertinus-serif-latin-700-normal.DgcGlGzg.woff2)format("woff2"),url(/_astro/libertinus-serif-latin-700-normal.DtCYrCCq.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:Inconsolata;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/inconsolata-vietnamese-400-normal.DfC_iMic.woff2)format("woff2"),url(/_astro/inconsolata-vietnamese-400-normal.ByiM2lek.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:Inconsolata;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/inconsolata-latin-ext-400-normal.BaHVOdFB.woff2)format("woff2"),url(/_astro/inconsolata-latin-ext-400-normal.yvPjCxxx.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:Inconsolata;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/inconsolata-latin-400-normal.DTZQ6lD6.woff2)format("woff2"),url(/_astro/inconsolata-latin-400-normal.HYADljCo.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:Inconsolata;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/inconsolata-vietnamese-700-normal.DuasYmn8.woff2)format("woff2"),url(/_astro/inconsolata-vietnamese-700-normal.DLCFFAUf.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:Inconsolata;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/inconsolata-latin-ext-700-normal.D0Kpgs_9.woff2)format("woff2"),url(/_astro/inconsolata-latin-ext-700-normal.Dlt-daqV.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:Inconsolata;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/inconsolata-latin-700-normal.ByjKuJjN.woff2)format("woff2"),url(/_astro/inconsolata-latin-700-normal.DzgUY3Rl.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{color-scheme:light;--background-color:#fff;--text-color:#111;--link-color:green;--link-hover-color:color-mix(in oklab, var(--link-color) 70%, black);--muted-color:#555;--reference-highlight:#f4faf4;--info-color:#1e3a8a;--info-background:#eff6ff;--warn-color:#713f12;--warn-background:#fefce8;--error-color:#7f1d1d;--error-background:#fef2f2;color:var(--text-color);background:var(--background-color)}@media (prefers-color-scheme:dark){:root{color-scheme:dark;--background-color:#151713;--text-color:#eee;--link-color:#70c970;--link-hover-color:#a0e39a;--muted-color:#b5b5b5;--reference-highlight:#213021;--info-color:#bfdbfe;--info-background:#172554;--warn-color:#fef08a;--warn-background:#422006;--error-color:#fecaca;--error-background:#450a0a}}*{box-sizing:border-box}body{color:var(--text-color);background:var(--background-color);flex-direction:column;max-width:70ch;min-height:100vh;margin:0 auto;padding:clamp(1rem,3vw,1.5rem);font-family:Libertinus Serif,Georgia,serif;line-height:1.6;display:flex}main{anchor-name:--page-content;flex:1}header{text-align:center;margin-bottom:1rem}footer{color:var(--muted-color);text-align:center;margin-top:2.5rem}footer a{text-underline-offset:.18em;text-decoration-line:underline;text-decoration-style:dotted}a{color:var(--link-color);text-decoration:none}a:hover{color:var(--link-hover-color)}main a{text-underline-offset:.18em;text-decoration-line:underline;text-decoration-style:dotted;text-decoration-color:currentColor}main a[href^=http]:not(:has(.file-type)):after{content:" ↗";vertical-align:.15em;font-size:.72em;text-decoration:none;display:inline-block}:focus-visible{outline-offset:.2rem;outline:2px solid}header h1,.site-title{margin:0 0 .5rem;font-size:1.75rem;font-weight:700}header h1 a,.site-title a{color:inherit;text-decoration:none}nav a{border-radius:.25rem;margin:0 .5rem;padding:.25rem .5rem;font-weight:700;text-decoration:none;display:inline-block}nav a[aria-current=page]{text-underline-offset:.3em;text-decoration:underline 2px}main h2{margin-top:1.5rem;margin-bottom:.6rem;font-size:1.4rem}main h3{margin-top:.9rem;margin-bottom:.3rem;font-size:1.15rem}img,video,svg{max-width:100%;height:auto}pre,code,.citation-details a{font-family:var(--font-inconsolata), ui-monospace, monospace}.citation-details a{vertical-align:-.025em;font-size:.875em;line-height:1}