*,::after,::before{box-sizing:border-box}html{-webkit-tap-highlight-color:transparent;overflow-y:scroll;-webkit-text-size-adjust:100%;text-size-adjust:100%}a,button,body,h1,h2,h3,h4,h5,h6{color:var(--primary)}body{font-family:-apple-system,BlinkMacSystemFont,segoe ui,Roboto,Oxygen,Ubuntu,Cantarell,open sans,helvetica neue,sans-serif;font-size:18px;line-height:1.6;word-break:break-word;background:var(--theme)}article,aside,figcaption,figure,header,hgroup,main,nav,section,table{display:block}h1,h2,h3,h4,h5,h6{line-height:1.2}h1,h2,h3,h4,h5,h6,p{margin-top:0;margin-bottom:0}ul,ol{padding:0}a{text-decoration:none}body,figure,ul{margin:0}table{width:100%;border-collapse:collapse;border-spacing:0;overflow-x:auto;word-break:keep-all}button,input,textarea{padding:0;font:inherit;background:0 0;border:0}input,textarea{outline:0}button,input[type=button],input[type=submit]{cursor:pointer}input:-webkit-autofill,textarea:-webkit-autofill{box-shadow:0 0 0 50px var(--theme)inset}img{display:block;max-width:100%}:root{--main-width:780px;--main-padding:1.4em;--main-padding-bottom:3rem;--caption-padding:calc(0.25 * var(--main-padding));--header-top-gap:2rem;--header-bottom-gap:2rem;--header-menu-side-gap:0.5rem;--header-menu-top-gap:1rem;--font-body:"Literata", Georgia, Cambria, "Noto Serif", "Droif Serif", ui-serif, serif;--font-mono:"Monaspace", ui-monospace, monospace;--h1-margin-top:2rem;--h1-margin-bottom:1.5rem;--h2-margin-top:2rem;--h2-margin-bottom:1.5rem;--hx-margin-top:1.5rem;--hx-margin-bottom:1rem;--p-margin-top:1rem;--p-margin-bottom:1rem;--code-margin-top:2rem;--code-margin-bottom:2rem;--h1-font-size:2em;--h2-font-size:1.8em;--hx-font-size:1.3em;--p-font-size:1em;--p-line-height:1.5em;--caption-font-size:0.8em;--li-indent:2rem;--ul-margin-top:1rem;--ul-margin-bottom:1rem;--li-checkbox-size:0.8em;--toc-margin-top:2rem;--toc-margin-bottom:3rem;--code-padding:1.5rem;--code-border-radius:10px;--copy-code-button-border-radius:7px;--social-icons-bottom-margin:3rem;--footer-height:3rem;--content-height:calc(100vh - var(--footer-height));--figure-img-max-height:800px;--table-cell-padding:0.5rem;--table-margin-top:2rem;--table-margin-bottom:2rem}@media screen and (max-width:1024px){:root{--main-width:750px;--header-top-gap:1rem;--caption-padding:calc(0.25 * var(--main-padding))}}@media screen and (max-width:640px){:root{--header-top-gap:1rem;--social-icons-bottom-margin:0rem;--caption-padding:calc(2 * var(--main-padding))}}.flex{display:flex;flex-wrap:wrap}.flexnowrap{display:flex;flex-wrap:nowrap}.bold{font-weight:700}.italic{font-style:italic}.small{font-size:medium}.monospace{font-family:var(--font-mono)}@font-face{font-family:literata;src:url(/fonts/Literata/Literata-Light.woff2)format("woff2");font-weight:light;font-style:normal;font-display:swap}@font-face{font-family:literata;src:url(/fonts/Literata/Literata-LightItalic.woff2)format("woff2");font-weight:light;font-style:italic;font-display:swap}@font-face{font-family:literata;src:url(/fonts/Literata/Literata-SemiBold.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:literata;src:url(/fonts/Literata/Literata-SemiBoldItalic.woff2)format("woff2");font-weight:700;font-style:italic;font-display:swap}@font-face{font-family:monaspace;src:url(/fonts/Monaspace/MonaspaceArgon-Regular.woff)format("woff");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:monaspace;src:url(/fonts/Monaspace/MonaspaceArgon-SemiBold.woff)format("woff");font-weight:700;font-style:normal;font-display:swap}.light .chroma .bg{background-color:#fff}.light .chroma{background-color:#fff;-webkit-text-size-adjust:none}.light .chroma .err{color:#000}.light .chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.light .chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.light .chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.light .chroma .hl{background-color:#e5e5e5}.light .chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.light .chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.light .chroma .line{display:flex}.light .chroma .k{color:#a90d91}.light .chroma .kc{color:#a90d91}.light .chroma .kd{color:#a90d91}.light .chroma .kn{color:#a90d91}.light .chroma .kp{color:#a90d91}.light .chroma .kr{color:#a90d91}.light .chroma .kt{color:#a90d91}.light .chroma .n{color:#000}.light .chroma .na{color:#836c28}.light .chroma .nc{color:#3f6e75}.light .chroma .no{color:#000}.light .chroma .nd{color:#000}.light .chroma .ni{color:#000}.light .chroma .ne{color:#000}.light .chroma .nl{color:#000}.light .chroma .nn{color:#000}.light .chroma .nx{color:#000}.light .chroma .py{color:#000}.light .chroma .nt{color:#000}.light .chroma .nb{color:#a90d91}.light .chroma .bp{color:#5b269a}.light .chroma .nv{color:#000}.light .chroma .vc{color:#000}.light .chroma .vg{color:#000}.light .chroma .vi{color:#000}.light .chroma .vm{color:#000}.light .chroma .nf{color:#000}.light .chroma .fm{color:#000}.light .chroma .l{color:#1c01ce}.light .chroma .ld{color:#1c01ce}.light .chroma .s{color:#c41a16}.light .chroma .sa{color:#c41a16}.light .chroma .sb{color:#c41a16}.light .chroma .sc{color:#2300ce}.light .chroma .dl{color:#c41a16}.light .chroma .sd{color:#c41a16}.light .chroma .s2{color:#c41a16}.light .chroma .se{color:#c41a16}.light .chroma .sh{color:#c41a16}.light .chroma .si{color:#c41a16}.light .chroma .sx{color:#c41a16}.light .chroma .sr{color:#c41a16}.light .chroma .s1{color:#c41a16}.light .chroma .ss{color:#c41a16}.light .chroma .m{color:#1c01ce}.light .chroma .mb{color:#1c01ce}.light .chroma .mf{color:#1c01ce}.light .chroma .mh{color:#1c01ce}.light .chroma .mi{color:#1c01ce}.light .chroma .il{color:#1c01ce}.light .chroma .mo{color:#1c01ce}.light .chroma .o{color:#000}.light .chroma .ow{color:#000}.light .chroma .or{color:#000}.light .chroma .c{color:#177500}.light .chroma .ch{color:#177500}.light .chroma .cm{color:#177500}.light .chroma .c1{color:#177500}.light .chroma .cs{color:#177500}.light .chroma .cp{color:#633820}.light .chroma .cpf{color:#633820}.dark .chroma .bg{color:#fff;background-color:#1f1f24}.dark .chroma{color:#fff;background-color:#1f1f24;-webkit-text-size-adjust:none}.dark .chroma .err{color:#960050}.dark .chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.dark .chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.dark .chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.dark .chroma .hl{background-color:#353539}.dark .chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.dark .chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.dark .chroma .line{display:flex}.dark .chroma .k{color:#fc5fa3}.dark .chroma .kc{color:#fc5fa3}.dark .chroma .kd{color:#fc5fa3}.dark .chroma .kn{color:#fc5fa3}.dark .chroma .kp{color:#fc5fa3}.dark .chroma .kr{color:#fc5fa3}.dark .chroma .kt{color:#fc5fa3}.dark .chroma .nc{color:#5dd8ff}.dark .chroma .nb{color:#d0a8ff}.dark .chroma .bp{color:#a167e6}.dark .chroma .nv{color:#41a1c0}.dark .chroma .vc{color:#41a1c0}.dark .chroma .vg{color:#41a1c0}.dark .chroma .vi{color:#41a1c0}.dark .chroma .vm{color:#41a1c0}.dark .chroma .nf{color:#41a1c0}.dark .chroma .fm{color:#41a1c0}.dark .chroma .s{color:#fc6a5d}.dark .chroma .sa{color:#fc6a5d}.dark .chroma .sb{color:#fc6a5d}.dark .chroma .sc{color:#fc6a5d}.dark .chroma .dl{color:#fc6a5d}.dark .chroma .sd{color:#fc6a5d}.dark .chroma .s2{color:#fc6a5d}.dark .chroma .se{color:#fc6a5d}.dark .chroma .sh{color:#fc6a5d}.dark .chroma .si{color:#fff}.dark .chroma .sx{color:#fc6a5d}.dark .chroma .sr{color:#fc6a5d}.dark .chroma .s1{color:#fc6a5d}.dark .chroma .ss{color:#fc6a5d}.dark .chroma .m{color:#d0bf69}.dark .chroma .mb{color:#d0bf69}.dark .chroma .mf{color:#d0bf69}.dark .chroma .mh{color:#d0bf69}.dark .chroma .mi{color:#d0bf69}.dark .chroma .il{color:#d0bf69}.dark .chroma .mo{color:#d0bf69}.dark .chroma .p{color:#fff}.dark .chroma .c{color:#6c7986}.dark .chroma .ch{color:#6c7986}.dark .chroma .cm{color:#6c7986}.dark .chroma .c1{color:#6c7986}.dark .chroma .cs{color:#6c7986;font-style:italic}.dark .chroma .cp{color:#fd8f3f}.dark .chroma .cpf{color:#fd8f3f}:root{color-scheme:light dark;--content-primary:light-dark(
    var(--content-primary-light),
    var(--content-primary-dark)
  );--content-secondary:light-dark(
    var(--content-secondary-light),
    var(--content-secondary-dark)
  );--background:light-dark(var(--background-light), var(--background-dark));--code-background:light-dark(
    var(--code-background-light),
    var(--code-background-dark)
  );--code-border:light-dark(var(--code-border-light), var(--code-border-dark))}.light{color-scheme:light}.dark{color-scheme:dark}html{scroll-behavior:smooth}body{font-family:var(--font-body);margin:auto;max-width:var(--main-width);padding-left:var(--main-padding);padding-right:var(--main-padding);color:var(--content-primary);background:var(--background)}.content{min-height:var(--content-height)!important}h1{margin-top:var(--h1-margin-top);margin-bottom:var(--h1-margin-bottom);font-size:var(--h1-font-size)}h2{margin-top:var(--h2-margin-top);margin-bottom:var(--h2-margin-bottom);font-size:var(--h2-font-size)}h3,h4,h5,h6{font-size:var(--hx-font-size);margin-top:var(--hx-margin-top);margin-bottom:var(--hx-margin-bottom)}.heading{.anchor { text-decoration: none; font-weight: normal; color: var(--content-secondary); visibility: hidden; font-size: 0.9em; font-family: var(--font-mono); } &:hover .anchor { visibility: visible; }}p{margin-top:var(--p-margin-top);margin-bottom:var(--p-margin-bottom);font-size:var(--p-font-size);line-height:var(--p-line-height)}li{margin-left:var(--li-indent);&:has(> input[type="checkbox"]) { list-style-type:none; } & > input[type="checkbox"] { width:var(--li-checkbox-size); height:var(--li-checkbox-size); margin:0 0.2em 0.15em -1.25em; vertical-align:middle; }}a{text-decoration:underline}.copy-code-button{background-color:var(--background);font-family:var(--font-mono);padding:3px 6px;font-size:.8em;border-radius:var(--copy-code-button-border-radius);position:absolute;top:10px;right:10px;z-index:1;display:none;border:1px solid var(--code-border)}div.code-block{position:relative}div.code-block:hover .copy-code-button{display:block}pre{padding:var(--code-padding);border:1px solid var(--code-border);overflow:scroll;border-radius:var(--code-border-radius);margin-top:var(--code-margin-top);margin-bottom:var(--code-margin-bottom);overflow-x:auto;-ms-overflow-style:none;scrollbar-width:none;line-height:1.3em}pre::-webkit-scrollbar{display:none}code span{display:inline!important}code{-webkit-font-smoothing:antialiased;-moz-font-feature-settings:"liga=1, dlig=1";-ms-font-feature-settings:"liga","dlig";-webkit-font-feature-settings:"liga","dlig";-o-font-feature-settings:"liga","dlig";font-feature-settings:"liga","dlig";font-variant-ligatures:contextual;font-family:var(--font-mono);font-size:.9em}li code,table code,p code{background-color:var(--code-background);border-radius:3px;padding:2px}.katex-display{overflow-x:auto;overflow-y:hidden;-ms-overflow-style:none;scrollbar-width:none}.katex-display::-webkit-scrollbar{display:none}.footnotes{margin-top:3rem;border-style:none}hr{border:none;height:1px;background:var(--content-secondary);margin-top:2rem;margin-bottom:2rem}.header{padding-top:var(--header-top-gap);margin-bottom:var(--header-bottom-gap)}.header p{font-size:small;font-family:var(--font-mono);margin-top:0;margin-right:var(--header-menu-side-gap)}.header-menu{display:flex;flex-wrap:wrap;padding-top:var(--header-menu-top-gap)}.header-title{font-size:2.6em;font-weight:700;margin-bottom:0;margin-top:0}.header-title a{text-decoration:none}footer{font-size:small;display:flex;justify-content:center;align-items:center;max-height:var(--footer-height)}footer a{font-family:var(--font-mono);margin-left:.2rem;margin-right:.2rem}.post-line{margin-bottom:.5rem;display:flex;align-items:baseline}.tag-line{margin-bottom:.5rem;display:flex;align-items:baseline}.post-line p{margin-top:0;margin-bottom:0}.line-date{font-size:small;font-family:var(--font-mono);min-width:120px;max-width:120px;text-align:right;padding-right:1rem;margin-top:0;margin-bottom:0}.line-title{margin:0}.tag-title{margin:0}.line-summary{font-size:small;margin-top:.2rem!important;color:var(--content-secondary)}.list-container{padding-bottom:3rem}.pagination{display:flex;align-items:center;margin-top:1rem;margin-bottom:0;justify-content:center}.pagination-control{min-width:3rem;margin-left:.5rem;margin-right:.5rem;text-align:center;align-items:center}.page-number{min-width:3rem;margin-left:.5rem;margin-right:.5rem;display:flex;align-items:center;justify-content:center;align-items:center;font-weight:700}.social-icons{padding:12px 0;margin-bottom:var(--social-icons-bottom-margin)}.social-icons a{text-decoration:none}.social-icons a:not(:last-of-type){margin-inline-end:12px}.social-icons a svg{height:20px;width:20px}.single-intro-container{margin-top:1rem;margin-bottom:2rem}.single-title{margin-bottom:.5rem}.single-subsummary{margin-top:calc(.8 * var(--p-margin-top));margin-bottom:var(--p-margin-bottom);display:flex;align-items:center}.single-subsummary img{height:45px;width:45px;margin-right:.7rem;border-radius:50%}.author{margin-bottom:0;margin-top:0}.single-date{margin-top:0;margin-bottom:0;color:var(--content-secondary)}.single-summary{margin-bottom:0;color:var(--content-secondary)}.single-content{margin-bottom:5rem}.single-tags{margin-top:-1rem}.single-tags span{margin-right:.3rem}.single-pagination{margin-top:3rem;margin-bottom:3rem}.single-pagination a{margin-left:.4rem;margin-right:.4rem}.single-pagination hr{margin:0}.single-pagination-text{display:flex;justify-content:center;align-items:center;min-height:100%}.single-pagination-prev{min-width:50%;margin-top:1rem;margin-bottom:1rem;text-align:right}.single-pagination-next{min-width:50%;margin-top:1rem;margin-bottom:1rem;text-align:left}.single-pagination-container-next{display:flex;min-height:100%;padding:.5rem}.single-pagination-container-prev{display:flex;min-height:100%;padding:.5rem;float:right}.toc{font-size:var(--p-font-size);line-height:calc(.9 * var(--p-line-height));margin-top:var(--toc-margin-top);margin-bottom:var(--toc-margin-bottom)}.toc ul{margin-top:.1rem;margin-bottom:.1rem}.toc li{margin-top:.1rem;margin-bottom:.1rem}.autonumber{counter-reset:h2-counter 0}.autonumber h2{counter-increment:h2-counter 1;counter-reset:h3-counter 0}.autonumber h3{counter-increment:h3-counter 1;counter-reset:h4-counter 0}.autonumber h4{counter-increment:h4-counter 1}.autonumber h2:before{content:counter(h2-counter)"\00a0\00a0"}.autonumber h3:before{content:counter(h2-counter)"." counter(h3-counter)"\00a0\00a0"}.autonumber h4:before{content:counter(h2-counter)"." counter(h3-counter)"." counter(h4-counter)"\00a0\00a0"}figure{.img-container { aspect-ratio: var(--w) / var(--h); max-height: var(--figure-img-max-height); width: auto; margin-inline: auto; } img { display: block; max-width: 100%; height: auto; }}.dark .img-light,.light .img-dark{display:none!important}@media(prefers-color-scheme:dark){body:not(.light) .img-light{display:none!important}}@media(prefers-color-scheme:light){body:not(.dark) .img-dark{display:none!important}}.img-small div{display:flex;align-items:center;justify-content:center}.img-small img{max-height:calc(var(--figure-img-max-height) * .8)}.img-small div:first-child{height:80%;width:80%;margin:auto}.img-full div{display:flex;align-items:center;justify-content:center}.img-full img{height:auto;width:100vw!important;max-width:100vw!important}.caption-container{display:flex;justify-content:center}figcaption{color:var(--content-secondary);padding-left:var(--caption-padding);padding-right:var(--caption-padding);font-size:var(--caption-font-size);margin-top:1rem;margin-bottom:1rem}.not-found{display:flex;align-items:center;justify-content:center}.not-found div{text-align:center}.not-found div h1{font-size:6rem;margin-bottom:3rem}.breadcrumbs{display:flex;flex-wrap:wrap;gap:2px;font-size:small;margin-bottom:calc(-.5 * var(--h1-margin-top));font-family:var(--font-mono)}.giscus{margin-top:3rem}.back-to-top{text-align:center;font-family:var(--font-mono);font-size:small;margin-bottom:2rem}.table-outer{width:100%;overflow-x:auto}table{border-collapse:collapse;margin-top:var(--table-margin-top);margin-bottom:var(--table-margin-bottom);font-size:var(--p-font-size);line-height:var(--p-line-height);color:var(--content-primary);width:fit-content;margin-left:auto;margin-right:auto;border:1px solid var(--code-border);border-radius:var(--code-border-radius)}th,td{padding:var(--table-cell-padding);text-align:left}th{background-color:var(--code-background);font-weight:700}tbody tr{border-top:1px solid var(--code-border)}blockquote{margin:1.5rem;margin-left:0;margin-right:0;border-left:solid 2px;color:var(--content-secondary)}blockquote p{margin-left:1rem;margin-right:1rem}.skip-link{position:absolute;top:-100%;left:0;background:var(--content-primary);color:var(--background);padding:.5rem 1rem;z-index:100;font-family:var(--font-mono);font-size:small;text-decoration:none;border-radius:0 0 4px 0;transition:top .1s}.skip-link:focus{top:0}a:focus-visible,button:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible,[tabindex]:focus-visible{outline:2px solid var(--content-primary);outline-offset:2px;border-radius:2px}.customise-link:focus-visible{outline:2px solid var(--content-primary);outline-offset:2px;border-radius:3px}footer{font-size:small;display:block;justify-content:center;align-items:center;text-align:center;max-height:var(--footer-height);padding-bottom:7em}footer p{margin:.25em 0}hr.footer-divider{border:none;border-top:1px solid var(--border-color,#ccc);width:60px;margin:1em auto .8em;opacity:.4}hr.article-divider{border:none;border-top:1px solid var(--border-color,#ccc);width:60px;margin:0 auto 2rem;opacity:.4}blockquote{margin:2rem 0;margin-left:0;margin-right:0;padding:1rem 1.5rem;border-left:3px solid var(--content-secondary);color:var(--content-secondary);background:var(--code-background);border-radius:0 6px 6px 0;font-style:italic}blockquote p{margin:.5rem 0}blockquote p:last-child{margin-bottom:0}blockquote.alert{font-style:normal;border-radius:6px;border-left:none;padding:1rem 1.5rem;margin:2rem 0}blockquote.alert .alert-heading{font-weight:700;font-style:normal;font-size:.95em;text-transform:uppercase;letter-spacing:.05em;margin:0 0 .5rem;padding-bottom:.5rem;border-bottom:1px solid rgba(128,128,128,.2)}blockquote.alert-note{background:rgba(59,130,246,.1);border:1px solid rgba(59,130,246,.3);color:var(--content-primary)}blockquote.alert-note .alert-heading{color:#3b82f6}blockquote.alert-tip{background:rgba(34,197,94,.1);border:1px solid rgba(34,197,94,.3);color:var(--content-primary)}blockquote.alert-tip .alert-heading{color:#22c55e}blockquote.alert-warning{background:rgba(245,158,11,.1);border:1px solid rgba(245,158,11,.3);color:var(--content-primary)}blockquote.alert-warning .alert-heading{color:#f59e0b}blockquote.alert-caution{background:rgba(239,68,68,.1);border:1px solid rgba(239,68,68,.3);color:var(--content-primary)}blockquote.alert-caution .alert-heading{color:#ef4444}blockquote.alert-important{background:rgba(168,85,247,.1);border:1px solid rgba(168,85,247,.3);color:var(--content-primary)}blockquote.alert-important .alert-heading{color:#a855f7}.header-customise{display:flex;align-items:baseline;gap:.25rem;margin-top:.2rem;font-family:var(--font-mono);font-size:small}.customise-label{color:var(--content-secondary);opacity:.5;margin-right:.1rem}.customise-link{color:var(--content-secondary);text-decoration:none;border:1px solid var(--code-border);border-radius:3px;padding:0 .35rem;transition:background .15s,color .15s,border-color .15s}.customise-link:hover{color:var(--content-primary);background:var(--code-background);border-color:var(--content-secondary)}.autonumber h2::before,.autonumber h3::before,.autonumber h4::before{content:none}.highlight .ln,pre .ln{margin-right:.6em;padding-right:.25em;user-select:none}.codeblock-wrapper{margin:1.5rem 0}figure{margin:1.5rem 0}figure img,figure .img-container img{margin-bottom:-.5rem}figcaption{font-size:.9em;font-style:italic;text-align:center}.codeblock-header{display:flex;align-items:center;gap:.5rem;padding:.35rem .75rem;border:1px solid var(--code-border);border-radius:var(--code-border-radius)var(--code-border-radius)0 0;background:var(--code-background);font-family:var(--font-mono);font-size:.8em;color:var(--content-secondary)}.codeblock-header svg{width:1em;height:1em;flex-shrink:0}.codeblock-title{flex:1}.codeblock-copy-btn{color:var(--content-secondary);background:0 0;border:1px solid var(--code-border);border-radius:3px;padding:.1rem .45rem;font-family:var(--font-mono);font-size:.85em;cursor:pointer;flex-shrink:0;transition:color .15s,border-color .15s}.codeblock-copy-btn:hover{color:var(--content-primary);border-color:var(--content-secondary)}.codeblock-copy-btn.copied{color:var(--content-primary);border-color:var(--content-primary)}.codeblock-wrapper .highlight,.codeblock-wrapper pre{margin-top:0;border-top-left-radius:0;border-top-right-radius:0}.codeblock-wrapper pre{padding-top:.75rem;padding-left:1rem}.mermaid-wrapper{margin:2rem 0}.mermaid-wrapper .mermaid{margin-bottom:0}.mermaid-container{position:relative}.mermaid-overlay-btns{position:absolute;top:.4rem;right:.4rem;display:flex;gap:.3rem;opacity:0;transition:opacity .2s;z-index:1}.mermaid-container:hover .mermaid-overlay-btns{opacity:1}.mermaid-source-btn,.mermaid-copy-btn{color:var(--content-secondary);background:var(--code-background);border:1px solid var(--code-border);border-radius:3px;padding:.1rem .45rem;font-family:var(--font-mono);font-size:.7em;cursor:pointer}.mermaid-source-btn:hover,.mermaid-copy-btn:hover{color:var(--content-primary);border-color:var(--content-secondary)}.mermaid-copy-btn.copied{color:var(--content-primary);border-color:var(--content-primary)}.mermaid-caption-row{display:flex;justify-content:center;margin-top:.4rem}.mermaid-caption{color:var(--content-secondary);font-size:.9em;font-style:italic}.mermaid-source{display:none;margin:.5rem 0 0;border:1px solid var(--code-border);border-radius:var(--code-border-radius);background:var(--code-background)}.mermaid-diagram-btn{display:block;width:100%;text-align:left;padding:.35rem .75rem;background:0 0;border:none;border-bottom:1px solid var(--code-border);color:var(--content-secondary);font-family:var(--font-mono);font-size:.8em;cursor:pointer;transition:color .15s}.mermaid-diagram-btn:hover{color:var(--content-primary)}.mermaid-source-code{margin:0;padding:1rem;font-family:var(--font-mono);font-size:.85em;border:none;border-radius:0 0 var(--code-border-radius)var(--code-border-radius);overflow-x:auto;line-height:1.4}.mermaid-source-code code{font-family:var(--font-mono)}.mermaid-source-code code{counter-reset:line}.mermaid-source-code code .line{counter-increment:line}.mermaid-source-code code .line::before{content:counter(line);display:inline-block;width:2.5em;margin-right:.8em;text-align:right;color:var(--content-secondary);opacity:.5;font-size:.85em}body:has(.notes-layout){max-width:1100px;padding:0}body:has(.notes-layout) .header{max-width:var(--main-width);margin-left:auto;margin-right:auto;padding-left:var(--main-padding);padding-right:var(--main-padding)}.notes-layout{display:flex}.notes-sidebar{width:300px;min-width:260px;border-right:1px solid var(--code-border);display:flex;flex-direction:column;background:var(--code-background)}.notes-sidebar-toggle{display:none;padding:.65rem 1rem;border:none;border-bottom:1px solid var(--code-border);background:0 0;color:var(--content-primary);font-family:var(--font-mono);font-size:.85em;cursor:pointer;text-align:left;width:100%}.notes-search{padding:1rem;border-bottom:1px solid var(--code-border)}.notes-search input{width:100%;padding:.5rem .75rem;border:1px solid var(--code-border);border-radius:6px;background:var(--background);color:var(--content-primary);font-family:var(--font-mono);font-size:.85em;outline:none}.notes-search input:focus{border-color:var(--content-secondary)}.notes-list{list-style:none;padding:0;padding-inline-start:0;margin:0;overflow-y:auto;flex:1}.notes-list li{padding:.75rem 1rem;border-bottom:1px solid var(--code-border);cursor:pointer;transition:background .15s;margin-left:0}.notes-list li:hover{background:var(--background)}.notes-list li.active{background:var(--background);border-left:3px solid var(--content-primary)}.notes-list li.hidden{display:none}.notes-item-title{display:block;font-weight:600;color:var(--content-primary)}.notes-content{flex:1;overflow-y:auto;padding:2rem;min-width:0}.notes-content h1{margin-top:0}.notes-placeholder{display:flex;align-items:center;justify-content:center;height:100%;color:var(--content-secondary);font-style:italic}.notes-back-link{display:inline-block;color:var(--content-secondary);text-decoration:none;font-family:var(--font-mono);font-size:.85em;margin-bottom:1.5rem}.notes-back-link:hover{color:var(--content-primary)}@media(max-width:768px){.notes-layout{flex-direction:column;min-height:auto}.notes-sidebar{width:100%;min-width:0;border-right:none;border-bottom:1px solid var(--code-border);max-height:none;padding:0}.notes-sidebar.open .notes-list,.notes-sidebar.open .notes-search{display:block}.notes-sidebar-toggle{display:block;padding:.65rem 1rem}.notes-search{display:none;padding:.65rem 1rem}.notes-list{display:none}.notes-list li{padding:.65rem 1rem}.notes-sidebar.open .notes-list{max-height:50vh;overflow-y:auto}.notes-content{padding:1.5rem}}body.hyperlegible,html.hyperlegible-pending body{font-family:atkinson hyperlegible,sans-serif!important}:root{--content-primary-light:rgb(76, 79, 105);--content-secondary-light:rgb(108, 111, 133);--background-light:rgb(239, 241, 245);--code-background-light:rgb(230, 233, 239);--code-border-light:rgb(188, 192, 204);--content-primary-dark:rgb(198, 208, 245);--content-secondary-dark:rgb(165, 173, 206);--background-dark:rgb(48, 52, 70);--code-background-dark:rgb(41, 44, 60);--code-border-dark:rgb(81, 87, 109)}