@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-cyrillic-ext-wght-normal.cHuGMAiY.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-cyrillic-wght-normal.DwHjdM4S.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-greek-wght-normal.ece1310W.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-vietnamese-wght-normal.D-yuW59g.woff2)format("woff2-variations");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:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-latin-ext-wght-normal.CxNHBx-q.woff2)format("woff2-variations");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:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-latin-wght-normal.D9elroTD.woff2)format("woff2-variations");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:"Source Serif 4 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-cyrillic-ext-wght-italic.BXuSHrjR.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Serif 4 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-cyrillic-wght-italic.RLIThRd4.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:"Source Serif 4 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-greek-wght-italic.F2ziEGcb.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:"Source Serif 4 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-vietnamese-wght-italic.C3q834ic.woff2)format("woff2-variations");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:"Source Serif 4 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-latin-ext-wght-italic.CpkvI5hy.woff2)format("woff2-variations");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:"Source Serif 4 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(/_astro/source-serif-4-latin-wght-italic.D2yaqPoE.woff2)format("woff2-variations");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:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-cyrillic-ext-wght-normal.BOeWTOD4.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-cyrillic-wght-normal.DqGufNeO.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-greek-ext-wght-normal.DlzME5K_.woff2)format("woff2-variations");unicode-range:U+1F??}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-greek-wght-normal.CkhJZR-_.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-vietnamese-wght-normal.CBcvBZtf.woff2)format("woff2-variations");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:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-latin-ext-wght-normal.DO1Apj_S.woff2)format("woff2-variations");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:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-latin-wght-normal.Dx4kXJAl.woff2)format("woff2-variations");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:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/_astro/jetbrains-mono-cyrillic-ext-wght-normal.EocZY2iu.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/_astro/jetbrains-mono-cyrillic-wght-normal.D73BlboJ.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/_astro/jetbrains-mono-greek-wght-normal.Bw9x6K1M.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/_astro/jetbrains-mono-vietnamese-wght-normal.Bt-aOZkq.woff2)format("woff2-variations");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:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/_astro/jetbrains-mono-latin-ext-wght-normal.DBQx-q_a.woff2)format("woff2-variations");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:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/_astro/jetbrains-mono-latin-wght-normal.B9CIFXIH.woff2)format("woff2-variations");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:dark;--ground:#10263f;--surface:#0b1d31;--text:#dce6f0;--muted:#9fb3c8;--rule:#2e4a68;--link:#5ce1f2;--accent:#5ce1f2;--panel:#16304d;--type-cases:#b7a6ff;--type-design:#5ce1f2;--type-decisions:#f5c265;--type-problems:#ff9b8a;--type-notes:#86e0a8;--grid:#5ce1f20f;--grid-major:#5ce1f21c;--glow:#5ce1f259;--shadow:0 10px 30px -12px #0000008c;--serif:"Source Serif 4 Variable", Georgia, serif;--sans:"Inter Variable", system-ui, sans-serif;--mono:"JetBrains Mono Variable", ui-monospace, monospace;--measure:68ch;--wide:90ch}:root[data-theme=light]{color-scheme:light;--ground:#f5f7f8;--surface:#fff;--text:#1b2530;--muted:#55626f;--rule:#c9d1d8;--link:#00677a;--accent:#00677a;--panel:#fff;--type-cases:#5b3fc4;--type-design:#00677a;--type-decisions:#7a5200;--type-problems:#a3271e;--type-notes:#1f6b3a;--grid:#1b25300d;--grid-major:#1b253017;--glow:#00677a38;--shadow:0 10px 28px -14px #1b253059}[data-type=cases]{--type:var(--type-cases)}[data-type=design]{--type:var(--type-design)}[data-type=decisions]{--type:var(--type-decisions)}[data-type=problems]{--type:var(--type-problems)}[data-type=notes]{--type:var(--type-notes)}@view-transition{navigation:auto}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;background:var(--ground);scroll-padding-top:5rem}body{min-height:100dvh;color:var(--text);font-family:var(--sans);font-variant-numeric:tabular-nums;flex-direction:column;margin:0;font-size:1rem;line-height:1.5;display:flex}a{color:var(--link);text-underline-offset:.18em}:focus-visible{outline:2px solid var(--accent);outline-offset:2px;box-shadow:0 0 0 6px var(--glow)}h1,h2,h3{font-family:var(--sans);text-wrap:balance;overflow-wrap:anywhere;line-height:1.2}main{flex:1;padding-block:2.5rem 5rem}.shell{max-width:72rem;margin-inline:auto;padding-inline:1.25rem}.muted{color:var(--muted)}.drafting{background-color:var(--surface);background-image:linear-gradient(var(--grid-major) 1px, transparent 1px), linear-gradient(90deg, var(--grid-major) 1px, transparent 1px), linear-gradient(var(--grid) 1px, transparent 1px), linear-gradient(90deg, var(--grid) 1px, transparent 1px);background-position:-1px -1px;background-size:120px 120px,120px 120px,24px 24px,24px 24px}.marks{position:relative}.marks:before,.marks:after{content:"";border:2px solid var(--accent);pointer-events:none;width:14px;height:14px;position:absolute}.marks:before{border-bottom:0;border-right:0;top:-1px;left:-1px}.marks:after{border-top:0;border-left:0;bottom:-1px;right:-1px}.button{border:1px solid var(--accent);background:var(--accent);color:var(--ground);align-items:center;padding:.65rem 1.1rem;font-weight:600;text-decoration:none;transition:background-color .15s,color .15s;display:inline-flex}.button:hover{color:var(--accent);background:0 0}.section-title{margin:0 0 1rem;font-size:1.25rem}.page-head{margin-bottom:2rem}.page-head h1{letter-spacing:-.02em;margin:0 0 .5rem;font-size:clamp(2rem,5vw,2.75rem)}.page-head p{max-width:var(--measure);font-family:var(--serif);margin:0;font-size:1.125rem;line-height:1.6}.page-head .count{color:var(--muted);font-family:var(--sans);margin-top:.5rem;font-size:.9rem}.skip{position:absolute;left:-999rem}.skip:focus{z-index:40;background:var(--surface);padding:.5rem .75rem;top:1rem;left:1rem}.visually-hidden{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}#progress{z-index:30;background:var(--accent);height:3px;box-shadow:0 0 10px var(--glow);transform-origin:0;position:fixed;inset:0 0 auto;transform:scaleX(0)}.state:before,dd.ok:before,dd.warn:before,dd.bad:before{content:"";background:currentColor;flex:none;width:.55rem;height:.55rem}.state.warn:before,dd.warn:before{background:0 0;border:1.5px solid}.state.bad:before,dd.bad:before{clip-path:polygon(50% 0,100% 100%,0 100%);width:.65rem}@media (prefers-reduced-motion:reduce){@view-transition{navigation:none}*,:before,:after{transition:none!important;animation:none!important}}footer[data-astro-cid-oenwriqq]{border-top:1px solid var(--rule);color:var(--muted);font-size:.9rem}.bar[data-astro-cid-oenwriqq]{flex-wrap:wrap;justify-content:space-between;gap:.75rem 1.5rem;padding-block:1.75rem 2.5rem;display:flex}p[data-astro-cid-oenwriqq]{margin:0}ul[data-astro-cid-oenwriqq]{flex-wrap:wrap;gap:.5rem 1.25rem;margin:0;padding:0;list-style:none;display:flex}a[data-astro-cid-oenwriqq]{color:var(--muted)}a[data-astro-cid-oenwriqq]:hover{color:var(--text)}header[data-astro-cid-isef26zo]{border-bottom:1px solid var(--rule);background:var(--ground)}@media (width>=60rem){header[data-astro-cid-isef26zo]{z-index:20;position:sticky;top:0}}.bar[data-astro-cid-isef26zo]{flex-wrap:wrap;align-items:center;gap:.5rem 1.5rem;padding-block:.85rem;display:flex}.brand[data-astro-cid-isef26zo]{color:var(--text);font-size:1.125rem;font-weight:700;text-decoration:none}nav[data-astro-cid-isef26zo]{flex:auto}ul[data-astro-cid-isef26zo]{flex-wrap:wrap;gap:.25rem 1.25rem;margin:0;padding:0;list-style:none;display:flex}nav[data-astro-cid-isef26zo] a[data-astro-cid-isef26zo]{color:var(--muted);border-bottom:2px solid #0000;padding-block:.2rem;text-decoration:none;transition:color .15s,border-color .15s;display:block}nav[data-astro-cid-isef26zo] a[data-astro-cid-isef26zo]:hover{color:var(--text)}nav[data-astro-cid-isef26zo] a[data-astro-cid-isef26zo][aria-current]{border-bottom-color:var(--accent);color:var(--text)}button[data-astro-cid-isef26zo]{border:1px solid var(--rule);color:var(--muted);font:inherit;cursor:pointer;background:0 0;align-items:center;gap:.45rem;padding:.3rem .65rem;font-size:.875rem;transition:color .15s,border-color .15s;display:inline-flex}button[data-astro-cid-isef26zo][hidden]{display:none}button[data-astro-cid-isef26zo]:hover{border-color:var(--accent);color:var(--text)}button[data-astro-cid-isef26zo]:before{content:"";background:currentColor;width:1rem;height:1rem;mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16' fill='none' stroke='black' stroke-width='1.5'%3E%3Ccircle cx='8' cy='8' r='3'/%3E%3Cpath d='M8 1v1.5M8 13.5V15M1 8h1.5M13.5 8H15M3 3l1 1M12 12l1 1M3 13l1-1M12 4l1-1'/%3E%3C/svg%3E") 50%/contain no-repeat}:root[data-theme=light] button[data-astro-cid-isef26zo]:before{mask-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3E%3Cpath d='M13.5 9.8A6 6 0 0 1 6.2 2.5 6 6 0 1 0 13.5 9.8z'/%3E%3C/svg%3E")}