.theme-toggle[data-astro-cid-x3pjskd3]{background:none;border:none;cursor:pointer;color:var(--text-secondary);padding:4px;display:flex;align-items:center;justify-content:center;border-radius:16px;transition:color .2s ease}.theme-toggle[data-astro-cid-x3pjskd3]:hover{color:var(--brass-primary)}.icon[data-astro-cid-x3pjskd3]{width:20px;height:20px;transition:opacity .2s ease,transform .2s ease}.sun-icon[data-astro-cid-x3pjskd3]{display:none}.moon-icon[data-astro-cid-x3pjskd3],html[data-theme=light] .sun-icon[data-astro-cid-x3pjskd3]{display:block}html[data-theme=light] .moon-icon[data-astro-cid-x3pjskd3]{display:none}.header[data-astro-cid-3ef6ksr2]{position:fixed;top:0;left:0;right:0;height:3rem;background:var(--bg-primary);border-bottom:1px solid rgba(139,115,50,.3);z-index:100}.header-nav[data-astro-cid-3ef6ksr2]{display:flex;align-items:center;justify-content:space-between;height:100%;padding:0 1rem}.header-left[data-astro-cid-3ef6ksr2]{display:flex;align-items:center;gap:.75rem;width:16.25rem;flex-shrink:0;padding-left:0}.sidebar-toggle[data-astro-cid-3ef6ksr2]{display:none;align-items:center;justify-content:center;background:none;border:none;color:var(--brass-primary);cursor:pointer;padding:.25rem;width:2.75rem;height:2.75rem}@media(max-width:64rem){.sidebar-toggle[data-astro-cid-3ef6ksr2]{display:flex}}.header-wordmark[data-astro-cid-3ef6ksr2]{display:flex;align-items:center;gap:.5rem;color:var(--brass-primary);text-decoration:none}.header-wordmark[data-astro-cid-3ef6ksr2]:hover{color:var(--brass-light)}.header-wordmark[data-astro-cid-3ef6ksr2] .wordmark[data-astro-cid-3ef6ksr2]{font-size:1.125rem}.header-gear-icon[data-astro-cid-3ef6ksr2]{color:var(--brass-primary);width:20px;height:20px}.header-center[data-astro-cid-3ef6ksr2]{flex:1;text-align:center}.header-breadcrumb[data-astro-cid-3ef6ksr2]{font-size:var(--fs-sm);color:var(--text-secondary)}.header-right[data-astro-cid-3ef6ksr2]{display:flex;align-items:center;justify-content:flex-end;gap:.75rem;width:15rem;flex-shrink:0}.header-github[data-astro-cid-3ef6ksr2]{display:flex;align-items:center;color:var(--text-secondary);transition:color .15s ease}.header-github[data-astro-cid-3ef6ksr2]:hover{color:var(--brass-primary)}.footer[data-astro-cid-sz7xmlte]{text-align:center;padding:2rem 1rem;margin-top:2rem}.footer-title[data-astro-cid-sz7xmlte]{font-family:var(--font-body);font-size:var(--fs-sm);color:var(--text-secondary);max-width:none;margin:0 auto .35rem}.footer-meta[data-astro-cid-sz7xmlte]{font-family:var(--font-label);font-size:var(--fs-sm);color:var(--text-tertiary);max-width:none;margin:0 auto 1rem}.footer-qed[data-astro-cid-sz7xmlte]{color:var(--qed-gold);font-size:.6rem;opacity:.7}.gear-background[data-astro-cid-yx4ppozb]{position:fixed;inset:0;z-index:0;pointer-events:none;overflow:hidden}.gear-scene[data-astro-cid-yx4ppozb]{position:absolute;right:-46px;bottom:-46px;width:430px;height:370px;color:var(--brass-primary);opacity:var(--gear-opacity, .3);overflow:visible}.gear-outline[data-astro-cid-yx4ppozb],.gear-inner-ring[data-astro-cid-yx4ppozb],.gear-hub[data-astro-cid-yx4ppozb]{fill:none;stroke:currentColor;vector-effect:non-scaling-stroke}.gear-outline[data-astro-cid-yx4ppozb]{stroke-width:1.5;stroke-linecap:round;stroke-linejoin:round}.gear-inner-ring[data-astro-cid-yx4ppozb],.gear-hub[data-astro-cid-yx4ppozb]{stroke-width:1}.gear-rotor[data-astro-cid-yx4ppozb]{transform-box:fill-box;transform-origin:center}.gear-rotor-cw[data-astro-cid-yx4ppozb]{animation:gear-spin-cw var(--gear-period) linear infinite}.gear-rotor-ccw[data-astro-cid-yx4ppozb]{animation:gear-spin-ccw var(--gear-period) linear infinite}@keyframes gear-spin-cw{0%{transform:rotate(var(--gear-phase))}to{transform:rotate(calc(var(--gear-phase) + 360deg))}}@keyframes gear-spin-ccw{0%{transform:rotate(var(--gear-phase))}to{transform:rotate(calc(var(--gear-phase) - 360deg))}}.gear-debug-circle[data-astro-cid-yx4ppozb],.gear-debug-line[data-astro-cid-yx4ppozb]{fill:none;stroke-width:.75;vector-effect:non-scaling-stroke}.gear-debug-pitch[data-astro-cid-yx4ppozb]{stroke:#5bbfad8c}.gear-debug-root[data-astro-cid-yx4ppozb]{stroke:#c44b3f73}.gear-debug-outer[data-astro-cid-yx4ppozb],.gear-debug-line[data-astro-cid-yx4ppozb]{stroke:#f0d87873}@media(prefers-reduced-motion:reduce){.gear-rotor-cw[data-astro-cid-yx4ppozb],.gear-rotor-ccw[data-astro-cid-yx4ppozb]{animation:none;transform:rotate(var(--gear-phase))}}@media(max-width:767px){.gear-background[data-astro-cid-yx4ppozb]{display:none}}html[data-theme=dark]{--bg-primary: #0D0B0F;--bg-secondary: #13111A;--bg-tertiary: #1A1822;--bg-hover: #22202E;--brass-primary: #C9A84C;--brass-light: #E2C97E;--brass-dark: #8B7332;--brass-glow: #C9A84C1A;--brass-primary-05: rgba(201, 168, 76, .05);--gold-bright: #F0D878;--coq-teal: #2E8B7A;--coq-teal-light: #5BBFAD;--text-primary: #E8E2D6;--text-secondary: #9C978A;--text-tertiary: #6B6660;--error-red: #C44B3F;--info-blue: #4A6B8A;--qed-gold: #B8860B;--border: #8B733240;--border-emphasis: #8B7332;--gear-opacity: .15;--grid-opacity: .05}html[data-theme=light]{--bg-primary: #FAF6F0;--bg-secondary: #F3EDE4;--bg-tertiary: #EDEADF;--bg-hover: #E5DFD4;--brass-primary: #7A6321;--brass-light: #9C7E2A;--brass-dark: #5C4A18;--brass-glow: #7A632126;--brass-primary-05: rgba(122, 99, 33, .06);--gold-bright: #B8960A;--coq-teal: #2E8B7A;--coq-teal-light: #2E8B7A;--text-primary: #2A2520;--text-secondary: #6B5E52;--text-tertiary: #9C8E80;--error-red: #C44B3F;--info-blue: #4A6B8A;--qed-gold: #B8860B;--border: #D6CDBF;--border-emphasis: #B8AFA0;--gear-opacity: .3;--grid-opacity: .06}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html{-webkit-text-size-adjust:100%;-moz-tab-size:4;tab-size:4;scroll-behavior:smooth;interpolate-size:allow-keywords}body{min-height:100vh;background-color:var(--bg-primary);color:var(--text-primary);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}img,picture,video,canvas,svg{display:block;max-width:100%}input,button,textarea,select{font:inherit}a{color:var(--brass-primary);text-decoration:none}a:hover{color:var(--brass-light)}html[data-theme=dark],html[data-theme=light]{transition:background-color .2s ease,color .2s ease}body,.sidebar,.header,.content-area,.code-block,pre,code{transition:background-color .2s ease,color .2s ease,border-color .2s ease}body{background-image:radial-gradient(circle,rgba(201,168,76,.18) 1.5px,transparent 1.5px);background-size:2.5rem 2.5rem}html[data-theme=light] body{background-image:radial-gradient(circle,rgba(122,99,33,.15) 1.5px,transparent 1.5px)}.ornamental-rule{display:flex;align-items:center;justify-content:center;gap:0;width:120px;margin:2rem auto;border:none;height:auto}.ornamental-rule:before,.ornamental-rule:after{content:"";flex:1;height:1px;background-color:var(--border)}.ornamental-rule:after{content:""}.ornamental-rule{color:var(--qed-gold);font-size:.75rem;line-height:1}hr.ornamental-rule{border:none;height:auto;overflow:visible;position:relative;width:120px;margin:2rem auto;background:transparent}hr.ornamental-rule:before{content:"◆";position:absolute;left:50%;top:50%;transform:translate(-50%,-50%);color:var(--qed-gold);font-size:.6rem;z-index:1;background:var(--bg-primary);padding:0 6px}hr.ornamental-rule:after{content:"";display:block;width:100%;height:1px;background:var(--border)}.corner-brackets{position:relative}.corner-brackets:before,.corner-brackets:after{content:"";position:absolute;width:16px;height:16px;pointer-events:none}.corner-brackets:before{top:8px;left:8px;border-top:1px solid var(--brass-primary);border-left:1px solid var(--brass-primary)}.corner-brackets:after{bottom:8px;right:8px;border-bottom:1px solid var(--brass-primary);border-right:1px solid var(--brass-primary)}.corner-brackets>.corner-tr,.corner-brackets>.corner-bl{position:absolute;width:16px;height:16px;pointer-events:none}.corner-brackets>.corner-tr{top:8px;right:8px;border-top:1px solid var(--brass-primary);border-right:1px solid var(--brass-primary)}.corner-brackets>.corner-bl{bottom:8px;left:8px;border-bottom:1px solid var(--brass-primary);border-left:1px solid var(--brass-primary)}.qed:after{content:"■";display:block;text-align:right;color:var(--qed-gold);font-size:.7rem;margin-top:1.5rem;opacity:.7}.callout{position:relative;padding:1.25rem 1.5rem;margin:1.5rem 0;border-radius:16px;background:var(--bg-tertiary);border-left:3px solid var(--brass-primary)}.callout-label{font-family:var(--font-label);font-variant:small-caps;font-weight:500;font-size:var(--fs-sm, .875rem);letter-spacing:.06em;margin-bottom:.5rem;display:block}.callout-note{border-left-color:var(--info-blue)}.callout-note .callout-label{color:var(--info-blue)}.callout-tip{border-left-color:var(--brass-primary)}.callout-tip .callout-label{color:var(--brass-primary)}.callout-warning{border-left-color:var(--error-red)}.callout-warning .callout-label{color:var(--error-red)}.callout-verified{border-left-color:var(--coq-teal);background:#2e8b7a0d}.callout-verified .callout-label{color:var(--coq-teal)}.table-wrapper{width:100%;overflow-x:auto;-webkit-overflow-scrolling:touch;margin:1.5rem 0}.table-academic{width:100%;min-width:32rem;border-collapse:collapse;margin:0}.table-academic thead{border-top:2px solid var(--text-primary);border-bottom:1px solid var(--text-primary)}.table-academic thead th{font-family:var(--font-label);font-variant:small-caps;font-size:var(--fs-xs, .75rem);letter-spacing:.06em;font-weight:500;text-align:left;padding:.6rem .75rem;color:var(--text-secondary)}.table-academic tbody td{font-family:var(--font-body);font-size:var(--fs-sm, .875rem);padding:.5rem .75rem;border:none}.table-academic tbody{border-bottom:2px solid var(--text-primary)}.table-academic tbody tr:hover{background:var(--bg-hover)}.doc-content table:not(.table-academic){display:block;overflow-x:auto;-webkit-overflow-scrolling:touch;width:100%;max-width:100%;border-collapse:collapse}.doc-content table:not(.table-academic) th,.doc-content table:not(.table-academic) td{padding:.5rem 1.25rem .5rem 0;vertical-align:top}.doc-content table:not(.table-academic) th{font-family:var(--font-label);font-variant:small-caps;font-size:var(--fs-base);letter-spacing:.06em;font-weight:500;color:var(--text-secondary);border-bottom:1px solid var(--border-emphasis);padding-bottom:.4rem}.doc-content table:not(.table-academic) tbody tr:hover td{background:var(--bg-hover)}*{scrollbar-width:thin;scrollbar-color:var(--brass-dark) var(--bg-secondary)}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:var(--bg-secondary)}::-webkit-scrollbar-thumb{background-color:var(--brass-dark);border-radius:16px;border:2px solid var(--bg-secondary)}::-webkit-scrollbar-thumb:hover{background-color:var(--brass-primary)}::selection{background-color:var(--brass-glow);color:var(--text-primary)}html[data-theme=dark] ::selection{background-color:#c9a84c40}html[data-theme=light] ::selection{background-color:#7a632133}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important}}@supports (corner-shape: squircle){*{corner-shape:squircle}}body:after{content:"";position:fixed;inset:0;pointer-events:none;z-index:9999;opacity:.035;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='300' height='300'%3E%3Cfilter id='noise'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.65' numOctaves='3' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='300' height='300' filter='url(%23noise)'/%3E%3C/svg%3E");background-repeat:repeat;background-size:200px 200px;mix-blend-mode:overlay}@supports (animation-timeline: view()){.callout,.theorem-box,.ledger-row,.phase-card,.mermaid-figure,.table-wrapper{animation:fade-up-in linear both;animation-timeline:view();animation-range:entry 0% entry 28%}@keyframes fade-up-in{0%{opacity:0;transform:translateY(1.25rem)}to{opacity:1;transform:translateY(0)}}}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/cormorant-garamond-cyrillic-ext-400-normal.W3Dto7M0.woff2) format("woff2"),url(/_astro/cormorant-garamond-cyrillic-ext-400-normal.DLdKLAvx.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/cormorant-garamond-cyrillic-400-normal.DD2KOZkl.woff2) format("woff2"),url(/_astro/cormorant-garamond-cyrillic-400-normal.CVFrM67f.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/cormorant-garamond-vietnamese-400-normal.6K-YXo6g.woff2) format("woff2"),url(/_astro/cormorant-garamond-vietnamese-400-normal.4uxlocMh.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/cormorant-garamond-latin-ext-400-normal.Drx2k2n9.woff2) format("woff2"),url(/_astro/cormorant-garamond-latin-ext-400-normal.uvC0WHQr.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/cormorant-garamond-latin-400-normal.B-1hWBU7.woff2) format("woff2"),url(/_astro/cormorant-garamond-latin-400-normal.B7YtguxJ.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/cormorant-garamond-cyrillic-ext-500-normal.Yta7XZ9C.woff2) format("woff2"),url(/_astro/cormorant-garamond-cyrillic-ext-500-normal.lsPpqi9g.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/cormorant-garamond-cyrillic-500-normal.CyAY5ZLS.woff2) format("woff2"),url(/_astro/cormorant-garamond-cyrillic-500-normal.DkJXBcIH.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/cormorant-garamond-vietnamese-500-normal.BZGLGj12.woff2) format("woff2"),url(/_astro/cormorant-garamond-vietnamese-500-normal.DqXqCC0q.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/cormorant-garamond-latin-ext-500-normal.CH1kM7og.woff2) format("woff2"),url(/_astro/cormorant-garamond-latin-ext-500-normal.DYeaGGzO.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/cormorant-garamond-latin-500-normal.BsRWmXhO.woff2) format("woff2"),url(/_astro/cormorant-garamond-latin-500-normal.zIXX3Q-H.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/cormorant-garamond-cyrillic-ext-600-normal.BMhMHfrj.woff2) format("woff2"),url(/_astro/cormorant-garamond-cyrillic-ext-600-normal.CsIYWmWK.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/cormorant-garamond-cyrillic-600-normal.C2atO-64.woff2) format("woff2"),url(/_astro/cormorant-garamond-cyrillic-600-normal.FNmA3REe.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/cormorant-garamond-vietnamese-600-normal.BoXdMtcr.woff2) format("woff2"),url(/_astro/cormorant-garamond-vietnamese-600-normal.C4HEjEaf.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/cormorant-garamond-latin-ext-600-normal.DaBc-lu7.woff2) format("woff2"),url(/_astro/cormorant-garamond-latin-ext-600-normal.Dk3-quAP.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/cormorant-garamond-latin-600-normal.Co1r35X9.woff2) format("woff2"),url(/_astro/cormorant-garamond-latin-600-normal.2CBVLo0M.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/cormorant-garamond-cyrillic-ext-700-normal.Do0rx6yy.woff2) format("woff2"),url(/_astro/cormorant-garamond-cyrillic-ext-700-normal.BaW-xaxb.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/cormorant-garamond-cyrillic-700-normal.SLG_-a_c.woff2) format("woff2"),url(/_astro/cormorant-garamond-cyrillic-700-normal.D3uyJ5DH.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/cormorant-garamond-vietnamese-700-normal.-OtHbi1I.woff2) format("woff2"),url(/_astro/cormorant-garamond-vietnamese-700-normal.GOTdnRS1.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/cormorant-garamond-latin-ext-700-normal.CNjt5vTB.woff2) format("woff2"),url(/_astro/cormorant-garamond-latin-ext-700-normal.qRbaVVD7.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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:Cormorant Garamond;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/cormorant-garamond-latin-700-normal.DajfzrDU.woff2) format("woff2"),url(/_astro/cormorant-garamond-latin-700-normal.O25Qpphb.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Crimson Pro;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/crimson-pro-vietnamese-400-normal.C3m3Wqkz.woff2) format("woff2"),url(/_astro/crimson-pro-vietnamese-400-normal.CEHt5KbE.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Crimson Pro;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/crimson-pro-latin-ext-400-normal.B3ID4PT2.woff2) format("woff2"),url(/_astro/crimson-pro-latin-ext-400-normal.BWiDT69a.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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:Crimson Pro;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/crimson-pro-latin-400-normal.B4SlG4wx.woff2) format("woff2"),url(/_astro/crimson-pro-latin-400-normal.BzhyrSeK.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Crimson Pro;font-style:italic;font-display:swap;font-weight:400;src:url(/_astro/crimson-pro-vietnamese-400-italic.NXtqStND.woff2) format("woff2"),url(/_astro/crimson-pro-vietnamese-400-italic.XRYdg6KH.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Crimson Pro;font-style:italic;font-display:swap;font-weight:400;src:url(/_astro/crimson-pro-latin-ext-400-italic.C6Jf9c7d.woff2) format("woff2"),url(/_astro/crimson-pro-latin-ext-400-italic.DuC2towc.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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:Crimson Pro;font-style:italic;font-display:swap;font-weight:400;src:url(/_astro/crimson-pro-latin-400-italic.BJbyz_Tg.woff2) format("woff2"),url(/_astro/crimson-pro-latin-400-italic.iL-nM4zC.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Crimson Pro;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/crimson-pro-vietnamese-600-normal.BD5z241x.woff2) format("woff2"),url(/_astro/crimson-pro-vietnamese-600-normal.WXpto_XS.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Crimson Pro;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/crimson-pro-latin-ext-600-normal.DTIcmTiA.woff2) format("woff2"),url(/_astro/crimson-pro-latin-ext-600-normal.ChXPf8Fx.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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:Crimson Pro;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/crimson-pro-latin-600-normal.vJ8oEdKU.woff2) format("woff2"),url(/_astro/crimson-pro-latin-600-normal.Ca4fy0Cf.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,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(data:font/woff2;base64,d09GMgABAAAAAAfsABQAAAAAEAwAAAeCAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhwbHhwoP0hWQVJbBmA/U1RBVIFiJyYAdC9qEQgKhGSEAAsgADCGCAE2AiQDOgQgBYlMB4EUDAcbLQ4onoexrSC/2ZyLAa8p8VHB8/x3Vue+V0hVJalMJg2nx/TCrQXxBeqLjQG7FyM1WEa/X1tEXN7cFz9EJEMmMUz3RihWSSKeQCbcIou0izz/C8v+fq3VfajEa9gDD11CImXS7qL/RJFVzC1qiB6KmKeD6TZdQ6IRGv78dL6uSVVCfgni5mzu7kcgQBgAEAQTQRCoL++STTYybkJxNfQxAAIAGu8OdEB9teW2jh4BpgDqFjAeSEByW3zFP0CBBgNMsMCGEDjgggdhiEAUAeIIED7ABTDUEnkIE9Q9ahFgKttcVhApo4ACB4qobHaccgDfEjFO6aaWUhjMLt2SyIvHKoDqoA4CSUwEIYQCEjhAO9R1G6keDeDZGjNo+AhxOjCEGTr1WeIF3kYBiLAOKvkJSMiKX0VdAyQt3SDJClCkxJCHkCzfqyVTriJZLcolS32JZHUekq2TYNkYtCtjYHMQXSxGjXDz2t/yLWXzDzxz+o3zFwDEaN23F+13pyMdQAEaSKAR9vcGq4A4MTSKCElGW+M7UcY7xqkggITb28ZJhlqc9q2twYKTt0NjixBgYvO9BIihEBLYuOFXQzfIQ7dXGUEEEgFDooBfAzqiQbpJrhiWSuKJCRFKYbHCyJKI2G5GiZbNAvgAu5pc3vwx4G+g3aDkhklABiSz0BICXrYghtYhx/cdJ+44rY2oZ0aMNRFz3VZjb6W33F3gzltqtOCV8tTHSpOeXuItfvr5lCdfzFpqtEitvqdcdGGFd28ZqqC0tPbeChGXgrIlnhSWu/eUso4uKWFLugyDzQJhflY4659+WjQ++6x72WUMv9G8mw6QJl7BVxX5fe/kpUsOvnZwee9uQ0cGXYd0o89XB2748sDSnt8d2VphdOTTgceDVvOds0v9P/s7HPq15aGun/6Vllb56f1dl0t1LejqrNkpdRZsG8TOnM5vkBG5oiVyVGnS8LHps5cfNWJs6qKPfaNSxiQNBUm3cKNWROr0GSur7Za31k1vieq7LH11VF+jXdRIasRKflc7jkobm1Z9te1IyZA0pDkhLR98+H37Zf1c/8at+dB7x+7GfVyTfJMPiYztsnl59Y5l4j+0n1RXlpHnF3Tq7HecmNF/CJodEMAikruxiyJaGLvHOdAfoA+oDvpjBm2b91cHGRZMU9n25xEU0A8fgEEAdKI3Q1iDtc034sug5YVMkE2jsE+BIkwSoQ3gxXMqz9tELp48bd0cFKOKS7xYjEuXBnZP5ia7DyiO/X/YI+PQSbt2uSdqAkWL9nQbV1XB94/+uPfdZz8dnXYFBYrcTl2SIR/ybxJNJPz/Gupb0JaZeens2ekC7EKr8t+Ls/P5VJPYJdHKyqfg2nqU6bhlidzcddQV/7MmecTzJ5VPcKXkNKSEogHjYFx6QZ7rQ+FSe8njaiNuOnXS8H2ScQ619c2mC3VTtauL0rRbXd/CkSOP37FY9Zkjz8+GibYUMOEWF+RdrFS8Ecv1SHOpPUPZGEIpjPvFyU5cXKjd6OXqorTqy9GwRd++HVufPGnVsW+aO3vggKZ18jR9sXaTC1PWTEsVUaK0FkNySbTQDqlm2PfDjZcu4aalnSLKjnOoYQ0nUlqqXcGpPu/4VgV/xU2pAqW4BW3qzhQ8/hFKhV2qE3+BKAtDqBXjfgnVdH4y0wg5tbVNRenNdTWOrenWLcupQdmsbq5b+18piTe/xRdp1xbILxNPJGInm2z6hoB21Lal0i+ePTtd7B45+3XhFJ329evskXm7qurUVREotqSluSo/L29d3qDhI4YOQqWhI4YNvBNfsMHeXKemXrxQfKeuPOGRVayA3JtkJKEgbPp+dXUDluddutRYLFoXGXWX6N3WFaGLbQtRSitVYNacTNSdy7AaG/HSaUEANcBoGXNdcZvZsOqQ1icBDv21/gzAoYPHH/WDW0qNR3QTYKEAEHig6o13NXbND06CQPlRtYjGNnSktRc09k1mAMDvAlDKfQjgy6fssInlfzmNAjKkDxoxHOBLdVRAIVt9j4qo+hA1w9T1aNBNTUOTTNUHLbqokE+UAfJXCIGw/IxCSL5GRUJeR40rL/UxTm4Q08H6MbCs70ObuNyIIXrINHQYInF06UUlevTjbQzTh5upiDMzMMogUtEnjPs/Y7jAHCJeB0GBHh04tC6FiB6ZFB1oArUSIoFoqhzCeAN6lHwm0T4C3VVPWvjpSMXReuWesMEcoqrmgtNBGd2noWeV0hNAz9rFeShNJxHGsPa3HXeKTk8b55hahySYHaYKKFFLpCfN8rsoaJn01CR04Gkc+5k7KVTCmClX8Q10HCrUEkVlSX+XO33oQR9609tJ516H497WSobWs5Up6TLaS10/dessIskgJSLiDlWvHVUywpkQ7hdPZqGyiEF0uVQerVcPamT1A3eKXdyI1vG9OoflrSXihZ1qqGE3nhmAgiIbRCQgPLEPtOM3UQwTLYaYYomNlpA44opnjV6jkD6id80OOrzf6BzmMD6eEa1zKyeYG1fzfEf16V6jw9XYOaar1/b2kP/IYX8oR2mcFvv2GtBV3JXgd437AQAA) format("woff2-variations");unicode-range:U+0460-052F,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+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,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+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@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+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,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+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:EB Garamond;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/eb-garamond-cyrillic-ext-500-normal.BKz78T03.woff2) format("woff2"),url(/_astro/eb-garamond-cyrillic-ext-500-normal.BW_wrb5p.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:EB Garamond;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/eb-garamond-cyrillic-500-normal.RaVCNQX7.woff2) format("woff2"),url(/_astro/eb-garamond-cyrillic-500-normal.DMxgMKSc.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:EB Garamond;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/eb-garamond-greek-ext-500-normal.B2GLvXWD.woff2) format("woff2"),url(/_astro/eb-garamond-greek-ext-500-normal.BdAXjnQq.woff) format("woff");unicode-range:U+1F00-1FFF}@font-face{font-family:EB Garamond;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/eb-garamond-greek-500-normal.CmiK3K51.woff2) format("woff2"),url(/_astro/eb-garamond-greek-500-normal.qyq7qiEo.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:EB Garamond;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/eb-garamond-vietnamese-500-normal.aFhv2iya.woff2) format("woff2"),url(/_astro/eb-garamond-vietnamese-500-normal.CYDqHS6k.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:EB Garamond;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/eb-garamond-latin-ext-500-normal.BUqUdxpG.woff2) format("woff2"),url(/_astro/eb-garamond-latin-ext-500-normal.DBzjYlhR.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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:EB Garamond;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/eb-garamond-latin-500-normal.LNvnJ-zC.woff2) format("woff2"),url(/_astro/eb-garamond-latin-500-normal.DX0gtuIC.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Figtree;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/figtree-latin-ext-400-normal.CXAzuTZb.woff2) format("woff2"),url(/_astro/figtree-latin-ext-400-normal.Gbh-3PTk.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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:Figtree;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/figtree-latin-400-normal.g7Dtegnw.woff2) format("woff2"),url(/_astro/figtree-latin-400-normal.BD4aNku5.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Figtree;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/figtree-latin-ext-500-normal.Du0rIuHj.woff2) format("woff2"),url(/_astro/figtree-latin-ext-500-normal.BOEJvrb_.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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:Figtree;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/figtree-latin-500-normal.BWnGEVsr.woff2) format("woff2"),url(/_astro/figtree-latin-500-normal.B_yy1phn.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Uncial Antiqua;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/uncial-antiqua-latin-ext-400-normal.x8F_Eg6T.woff2) format("woff2"),url(/_astro/uncial-antiqua-latin-ext-400-normal.o5sM_o2v.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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:Uncial Antiqua;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/uncial-antiqua-latin-400-normal.DPalS0aZ.woff2) format("woff2"),url(/_astro/uncial-antiqua-latin-400-normal.WePRk9CT.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@property --shimmer-x{syntax: "<percentage>"; inherits: false; initial-value: 200%;}:root{--fs-xs: clamp(.82rem, .78rem + .2vw, .9rem);--fs-sm: clamp(.92rem, .87rem + .25vw, 1rem);--fs-base: clamp(.98rem, .93rem + .25vw, 1.08rem);--fs-md: clamp(1.1rem, 1rem + .5vw, 1.25rem);--fs-lg: clamp(1.3rem, 1.1rem + 1vw, 1.6rem);--fs-xl: clamp(1.6rem, 1.3rem + 1.5vw, 2.1rem);--fs-2xl: clamp(2rem, 1.5rem + 2.5vw, 2.8rem);--fs-hero: clamp(2.5rem, 1.8rem + 3.5vw, 4rem);--lh-body: 1.72;--lh-heading: 1.2;--lh-code: 1.55;--font-display: "Cormorant Garamond", Georgia, serif;--font-body: "Crimson Pro", Georgia, serif;--font-label: "EB Garamond", Georgia, serif;--font-ui: "Figtree", sans-serif;--font-mono: "JetBrains Mono", Consolas, monospace}body{font-family:var(--font-body);font-size:var(--fs-base);font-weight:400;line-height:var(--lh-body)}p{margin-bottom:1.25em;max-width:74ch}strong{font-weight:600}h1,h2,h3,h4{font-family:var(--font-display);line-height:var(--lh-heading);color:var(--text-primary)}h1{font-size:var(--fs-2xl);font-weight:700;margin-bottom:1.5rem;padding-bottom:1rem;border-bottom:2px solid var(--brass-primary);position:relative;text-wrap:balance;background:linear-gradient(90deg,var(--brass-dark) 0%,var(--brass-primary) 40%,var(--gold-bright) 60%,var(--brass-primary) 80%,var(--brass-dark) 100%);background-clip:text;-webkit-background-clip:text;color:transparent}h1:after{content:"⚙";position:absolute;bottom:-.6em;left:50%;transform:translate(-50%);font-size:1rem;color:var(--brass-primary);background:var(--bg-primary);padding:0 .5rem;line-height:1}h2{font-size:var(--fs-xl);font-weight:600;margin-top:3rem;margin-bottom:1.25rem;padding-top:2rem;border-top:1px solid var(--border);text-wrap:balance}h3{font-size:var(--fs-lg);font-weight:600;margin-top:2rem;margin-bottom:1rem;text-wrap:balance}h4{font-size:var(--fs-md);font-weight:600;margin-top:1.5rem;margin-bottom:.75rem;text-wrap:balance}.section-label{font-family:var(--font-label);font-variant:small-caps;font-weight:500;font-size:var(--fs-xs);letter-spacing:.12em;text-transform:uppercase;color:var(--text-secondary)}.doc-content>p:first-of-type:first-letter{font-family:var(--font-display);font-weight:700;font-size:3.5em;float:left;line-height:.8;margin-right:.5rem;margin-top:.25rem;color:var(--brass-primary)}@media(max-width:48rem){.doc-content>p:first-of-type:first-letter{font-size:2.5em}}blockquote{margin:1.5rem 0;padding:.75rem 1.25rem;border-left:3px solid var(--brass-primary);color:var(--text-secondary);font-style:italic}blockquote p:last-child{margin-bottom:0}ul,ol{margin-bottom:1.25em;padding-left:1.5em}li{margin-bottom:.35em}li>ul,li>ol{margin-bottom:0;margin-top:.35em}.ui-text{font-family:var(--font-ui)}.wordmark{font-family:Uncial Antiqua,fantasy;font-weight:400}html[data-theme=dark]{--astro-code-color-text: #D4CEBC;--astro-code-color-background: #141320;--astro-code-token-constant: #E2C97E;--astro-code-token-string: #C9A84C;--astro-code-token-comment: #5C584E;--astro-code-token-keyword: #8FA4B8;--astro-code-token-parameter: #D4CEBC;--astro-code-token-function: #D4A76A;--astro-code-token-string-expression: #C9A84C;--astro-code-token-punctuation: #9C978A;--astro-code-token-link: #C9A84C;--code-bg: #141320;--code-text: #D4CEBC;--code-comment: #5C584E;--code-string: #C9A84C;--code-number: #E2C97E;--code-keyword: #8FA4B8;--code-function: #D4A76A;--code-type: #7DAA6E;--code-operator: #9C978A;--code-coq-keyword: #C9A84C;--coq-block-bg: #1A2826}html[data-theme=light]{--astro-code-color-text: #2A2520;--astro-code-color-background: #EDEADF;--astro-code-token-constant: #5C4A18;--astro-code-token-string: #7A6321;--astro-code-token-comment: #8A8275;--astro-code-token-keyword: #3D5A73;--astro-code-token-parameter: #2A2520;--astro-code-token-function: #8B5E2F;--astro-code-token-string-expression: #7A6321;--astro-code-token-punctuation: #6B5E52;--astro-code-token-link: #7A6321;--code-bg: #EDEADF;--code-text: #2A2520;--code-comment: #8A8275;--code-string: #7A6321;--code-number: #5C4A18;--code-keyword: #3D5A73;--code-function: #8B5E2F;--code-type: #4A6B3A;--code-operator: #6B5E52;--code-coq-keyword: #7A6321;--coq-block-bg: #EAF0ED}.code-block{position:relative;margin:1.5rem 0;border-radius:24px;border-left:2px solid rgba(139,115,50,.3);overflow:hidden;background:var(--code-bg)}.code-block .code-header{display:flex;align-items:center;justify-content:space-between;padding:.4rem 1rem;background:var(--bg-tertiary);border-bottom:1px solid var(--border)}.code-block .code-lang{font-family:var(--font-ui);font-weight:500;font-size:var(--fs-xs, .75rem);text-transform:uppercase;color:var(--text-tertiary);letter-spacing:.04em}.code-block .code-copy{display:flex;align-items:center;justify-content:center;background:none;border:none;color:var(--text-tertiary);cursor:pointer;padding:4px;border-radius:12px;transition:color .15s ease}.code-block .code-copy:hover{color:var(--brass-primary)}.code-block pre{margin:0;padding:1rem;overflow-x:auto;max-height:500px;background:var(--code-bg)}.code-block pre code{font-family:var(--font-mono);font-size:.85em;font-weight:400;line-height:var(--lh-code, 1.55);background:none;border:none;padding:0;border-radius:0;color:var(--code-text)}pre:not(.code-block pre){background:var(--code-bg);border-radius:24px;border-left:2px solid rgba(139,115,50,.3);padding:1rem;overflow-x:auto;max-height:500px;margin:1.5rem 0}pre code{font-family:var(--font-mono);font-size:.85em;line-height:var(--lh-code, 1.55)}code:not(pre code){font-family:var(--font-mono);font-size:.85em;background:var(--bg-tertiary);border:1px solid var(--border);border-radius:12px;padding:2px 6px}.language-coq,pre.language-coq,.code-block.language-coq pre{background:var(--coq-block-bg)}.code-block.language-coq{border-left:3px solid var(--coq-teal);background:var(--coq-block-bg)}.language-coq .token-theorem,.language-coq .token-proof,.language-coq .token-qed{color:var(--code-coq-keyword);font-weight:700}.token-comment,.code-comment{color:var(--code-comment);font-style:italic}.token-string,.code-string{color:var(--code-string)}.token-number,.code-number{color:var(--code-number)}.token-keyword,.code-keyword{color:var(--code-keyword)}.token-function,.code-function{color:var(--code-function)}.token-type,.code-type{color:var(--code-type)}.token-operator,.code-operator{color:var(--code-operator)}.line-numbers{counter-reset:line}.line-numbers .line:before{counter-increment:line;content:counter(line);display:inline-block;width:2.5em;margin-right:1em;padding-right:.5em;text-align:right;color:var(--text-tertiary);font-size:.8em;border-right:1px solid var(--border);user-select:none}@media(max-width:767px){.code-block{margin-left:-16px;margin-right:-16px;border-radius:0}.code-block pre code,pre code{font-size:13px}}