@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+0460-052F,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+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,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+1F00-1FFF}@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+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@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+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: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+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: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+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}/*! tailwindcss v4.3.1 | MIT License | https://tailwindcss.com */@layer theme{:root,:host{--font-sans:"Inter Variable", system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;--font-mono:"JetBrains Mono Variable", ui-monospace, "SF Mono", Menlo, monospace;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab,red,red)){::placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.block{display:block}}:root{--paper:#faf9f6;--paper-2:#f4f2ec;--ink:#15171c;--ink-2:#353941;--muted:#565b64;--faint:#6b7077;--rule:#e7e4db;--rule-2:#d9d5c9;--verify:#2f7d5b;--verify-ink:#245f45;--verify-soft:#edf3ef;--spec-ink:#0e1014;--spec-paper:#e9e7e0;--maxw:64rem;--gutter:clamp(1.25rem, 5vw, 2.5rem)}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%;scroll-behavior:smooth}body{font-family:var(--font-sans);color:var(--ink);background:var(--paper);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;font-feature-settings:"ss01","cv05";margin:0;font-size:1rem;line-height:1.6}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important;animation:none!important}}a{color:inherit}::selection{background:var(--verify);color:#fff}:focus-visible{outline:2px solid var(--verify);outline-offset:3px;border-radius:2px}.wrap{max-width:var(--maxw);padding-inline:var(--gutter);width:100%;margin-inline:auto}.measure{max-width:64ch}.display{letter-spacing:-.03em;margin:0;font-size:clamp(2.4rem,1.4rem + 4.4vw,4.25rem);font-weight:680;line-height:1.02}.h2{letter-spacing:-.022em;margin:0;font-size:clamp(1.5rem,1.1rem + 1.6vw,2.1rem);font-weight:640;line-height:1.08}.h3{letter-spacing:-.015em;margin:0;font-size:1.18rem;font-weight:600;line-height:1.25}.lead{color:var(--ink-2);font-size:clamp(1.06rem,1rem + .4vw,1.28rem);line-height:1.5}.body{color:var(--muted)}.body strong{color:var(--ink);font-weight:600}.coord{font-family:var(--font-mono);letter-spacing:.06em;text-transform:uppercase;color:var(--faint);font-size:.72rem;font-weight:500}.coord .dot{color:var(--verify)}.idx{font-family:var(--font-mono);letter-spacing:.04em;color:var(--faint);font-size:.74rem;font-weight:500}.rule{background:var(--rule-2);border:0;height:1px;margin:0;position:relative}.rule:after{content:"";background:var(--verify);width:5px;height:5px;position:absolute;top:-2px;right:0}.rule--plain:after{display:none}.src{font-family:var(--font-mono);letter-spacing:.01em;color:var(--muted);border:1px solid var(--rule-2);background:var(--paper);white-space:nowrap;border-radius:3px;align-items:center;gap:.45rem;padding:.28rem .55rem;font-size:.72rem;text-decoration:none;transition:border-color .16s,color .16s,background-color .16s;display:inline-flex}.src .k{color:var(--faint)}.src--link{color:var(--verify-ink);border-color:var(--verify)}@supports (color:color-mix(in lab,red,red)){.src--link{border-color:color-mix(in srgb,var(--verify) 35%,var(--rule-2))}}a.src:hover{color:var(--verify-ink);border-color:var(--verify);background:var(--verify-soft)}.src--private{color:var(--muted)}.src--design{color:var(--muted);border-style:dashed}.gate{width:.95em;height:.95em;color:var(--verify);flex:none;display:inline-flex}.link{color:var(--verify-ink);border-bottom:1px solid var(--verify);text-decoration:none}@supports (color:color-mix(in lab,red,red)){.link{border-bottom:1px solid color-mix(in srgb,var(--verify) 40%,transparent)}}.link{transition:border-color .16s}.link:hover{border-color:var(--verify)}.legend-chip{font-family:var(--font-mono);color:var(--muted);align-items:center;gap:.4rem;font-size:.7rem;display:inline-flex}.legend-chip .sw{border-radius:2px;flex:none;width:10px;height:10px}.sec{padding-block:clamp(3.5rem,8vw,6.5rem)}.sec-head{grid-template-columns:auto 1fr;align-items:center;gap:1.5rem;margin-bottom:clamp(2.25rem,4vw,3.25rem);display:grid}.sec-head .rule{margin:0}.hero{padding-top:clamp(3rem,7vw,5.5rem);padding-bottom:clamp(3rem,7vw,5rem)}.masthead{justify-content:space-between;gap:1rem;display:flex}.mh-right{color:var(--faint)}.hero .rule{margin:.9rem 0 clamp(2rem,4vw,2.75rem)}.hero-title{max-width:18ch}.hero-sub{margin:clamp(1.5rem,3vw,2rem) 0 0}.hero-facts{font-family:var(--font-mono);color:var(--muted);flex-wrap:wrap;align-items:baseline;gap:.7rem;margin-top:clamp(1.75rem,3vw,2.25rem);font-size:.8rem;display:flex}.hero-facts .fk{color:var(--ink);font-weight:600}.hero-facts .fdiv{color:var(--rule-2)}.hero-avail{color:var(--ink-2);flex-wrap:wrap;align-items:center;gap:.55rem;margin-top:1.6rem;font-size:.95rem;display:flex}.hero-avail .gate{width:1rem;height:1rem}.hero-locale{margin-left:.1rem}.thesis-grid,.bg-grid{grid-template-columns:1fr;gap:clamp(2rem,4vw,3rem);display:grid}@media(min-width:880px){.thesis-grid,.bg-grid{grid-template-columns:minmax(0,.85fr) minmax(0,1.15fr);gap:clamp(2.5rem,5vw,4.5rem)}}.thesis-intro .h2{max-width:16ch}.thesis-intro .body{margin-top:1.1rem}.ruleset{margin:0;padding:0;list-style:none}.rule-row{border-top:1px solid var(--rule);grid-template-columns:2.75rem 1fr;gap:.5rem 1.25rem;padding:clamp(1.25rem,2.5vw,1.6rem) 0;display:grid}.rule-row:first-child{border-top:0;padding-top:0}.rule-n{font-family:var(--font-mono);color:var(--verify);padding-top:.15rem;font-size:.82rem;font-weight:600}.rule-title{margin-bottom:.4rem}.rule-body .body{max-width:52ch;margin:0}.work-note{margin:0 0 clamp(2rem,4vw,2.75rem)}.inline-src{vertical-align:middle;padding:.1rem .4rem;font-size:.68rem}.record{border-top:1px solid var(--rule-2);padding:clamp(1.75rem,3.5vw,2.6rem) 0}.rec-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem;margin-bottom:.9rem;display:flex}.rec-id{align-items:baseline;gap:.7rem;display:inline-flex}.rec-tag{font-family:var(--font-mono);letter-spacing:.04em;text-transform:uppercase;color:var(--muted);font-size:.72rem}.rec-title{letter-spacing:-.02em;max-width:26ch;margin:0 0 1.25rem;font-size:clamp(1.3rem,1.05rem + 1vw,1.7rem);font-weight:640;line-height:1.12}.rec-fields{margin:0}.field{grid-template-columns:1fr;gap:.15rem 1.25rem;padding:.55rem 0;display:grid}@media(min-width:680px){.field{grid-template-columns:8.5rem 1fr;gap:0 1.5rem}}.field dt{font-family:var(--font-mono);letter-spacing:.06em;text-transform:uppercase;color:var(--faint);padding-top:.2rem;font-size:.7rem}.field dd{color:var(--muted);max-width:60ch;margin:0}.field.rec-result dd{color:var(--ink)}.field.rec-result dt{color:var(--verify)}.more-public{border-top:1px solid var(--rule);margin-top:clamp(2rem,4vw,3rem);padding-top:1.5rem}.more-list{gap:.85rem;margin:1rem 0 0;padding:0;list-style:none;display:grid}.more-item{flex-wrap:wrap;align-items:baseline;gap:.85rem;display:flex}.more-note{font-size:.92rem}.bg-intro .h2{max-width:16ch}.bg-intro .body{margin-top:1.1rem}.bg-edu{margin-top:1.4rem}.timeline{margin:0;padding:0;list-style:none}.tl-row{border-top:1px solid var(--rule);grid-template-columns:1fr;gap:.3rem 1.25rem;padding:clamp(1.1rem,2.5vw,1.5rem) 0;display:grid}@media(min-width:560px){.tl-row{grid-template-columns:8rem 1fr;gap:0 1.5rem}}.tl-row:first-child{border-top:0;padding-top:0}.tl-when{font-family:var(--font-mono);color:var(--faint);white-space:nowrap;padding-top:.25rem;font-size:.76rem}.tl-what{margin-bottom:.35rem}.tl-body .body{max-width:56ch;margin:0}.sec-contact{padding-bottom:clamp(2.5rem,5vw,4rem)}.contact-grid{grid-template-columns:1fr;align-items:start;gap:clamp(2rem,4vw,3rem);display:grid}@media(min-width:720px){.contact-grid{grid-template-columns:1fr auto;gap:3rem}}.contact-name{margin-bottom:1rem}.contact-note{margin:0 0 1.1rem}.contact-avail{margin-top:0}.contact-links{flex-direction:column;align-items:flex-start;gap:.7rem;display:flex}.colophon-rule{margin-top:clamp(2.5rem,5vw,3.5rem)}.colophon{color:var(--faint);flex-wrap:wrap;justify-content:space-between;gap:1rem;margin-top:1.25rem;display:flex}.thesis-cap{margin-top:1.5rem;display:block}.theme-spec{background:var(--spec-ink);color:var(--spec-paper)}.theme-spec .h2{color:#f4f2ec}.theme-spec .body{color:#abb0b8}.theme-spec .body strong{color:#f4f2ec}.theme-spec .coord{color:#8b9099}.theme-spec .coord .dot{color:#5fb98c}.theme-spec .rule{background:#ffffff29}.theme-spec .rule:after{background:#5fb98c}.theme-spec .rule-row{border-top-color:#ffffff1a}.theme-spec .rule-n{color:#5fb98c}.theme-spec .rule-title{color:#f4f2ec}:root{color-scheme:light}[data-theme=dark]{color-scheme:dark;--paper:#14161a;--paper-2:#1b1e23;--ink:#e9e7e0;--ink-2:#c4c7cd;--muted:#9aa0a8;--faint:#888d96;--rule:#262a30;--rule-2:#353a42;--verify:#5fb98c;--verify-ink:#6cc294;--verify-soft:#18271f;--spec-ink:#1d2127}@media(prefers-color-scheme:dark){:root:not([data-theme]){color-scheme:dark;--paper:#14161a;--paper-2:#1b1e23;--ink:#e9e7e0;--ink-2:#c4c7cd;--muted:#9aa0a8;--faint:#888d96;--rule:#262a30;--rule-2:#353a42;--verify:#5fb98c;--verify-ink:#6cc294;--verify-soft:#18271f;--spec-ink:#1d2127}:root:not([data-theme]) .theme-spec{border-block:1px solid var(--rule-2)}}[data-theme=dark] .theme-spec{border-block:1px solid var(--rule-2)}.theme-toggle{z-index:60;background:var(--paper);place-items:center;width:40px;height:40px;display:grid;position:fixed;bottom:1.1rem;right:1.1rem}@supports (color:color-mix(in lab,red,red)){.theme-toggle{background:color-mix(in srgb,var(--paper) 82%,transparent)}}.theme-toggle{color:var(--muted);border:1px solid var(--rule-2);cursor:pointer;-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);border-radius:9px;transition:color .16s,border-color .16s,background-color .16s}.theme-toggle:hover{color:var(--verify-ink);border-color:var(--verify)}.theme-toggle .ic{width:18px;height:18px}.theme-toggle .ic-sun,[data-theme=dark] .theme-toggle .ic-moon{display:none}[data-theme=dark] .theme-toggle .ic-sun{display:block}