*,::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}.bg{background-color:var(--code-background)}.chroma{background-color:var(--code-background)}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:var(--code-border)}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:var(--content-secondary)}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:var(--content-secondary)}.chroma .line{display:flex}.chroma .k{font-weight:700}.chroma .kc{font-weight:700}.chroma .kd{font-weight:700}.chroma .kn{font-weight:700}.chroma .kr{font-weight:700}.chroma .nc{font-weight:700}.chroma .ni{font-weight:700}.chroma .ne{font-weight:700}.chroma .nn{font-weight:700}.chroma .nt{font-weight:700}.chroma .nf{font-weight:700}.chroma .s{font-style:bold}.chroma .sa{font-style:italic}.chroma .sb{font-style:italic}.chroma .sc{font-style:italic}.chroma .dl{font-style:italic}.chroma .sd{font-style:italic}.chroma .s2{font-style:italic}.chroma .se{font-weight:700;font-style:italic}.chroma .sh{font-style:italic}.chroma .si{font-weight:700;font-style:italic}.chroma .sx{font-style:italic}.chroma .sr{font-style:italic}.chroma .s1{font-style:italic}.chroma .ss{font-style:italic}.chroma .ow{font-weight:700}.chroma .c{font-style:italic;color:var(--content-secondary)}.chroma .ch{font-style:italic;color:var(--content-secondary)}.chroma .cm{font-style:italic;color:var(--content-secondary)}.chroma .c1{font-style:italic;color:var(--content-secondary)}.chroma .cs{font-style:italic;color:var(--content-secondary)}.chroma .ge{font-style:italic}.chroma .gh{font-weight:700}.chroma .gp{font-weight:700}.chroma .gs{font-weight:700}.chroma .gu{font-weight:700}sup{vertical-align:baseline;position:relative;top:-.4em;line-height:0}: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:400;color:var(--content-secondary);visibility:hidden;font-size:.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 .2em .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}:root{--main-width:860px;--font-body:-apple-system, BlinkMacSystemFont, "PingFang SC", "Hiragino Sans GB", "Noto Sans CJK SC", "Microsoft YaHei", sans-serif;--body-font-size:15px;--meta-font-size:12px;--p-line-height:1.85;--site-link-color:light-dark(#2563eb, #8bb4ff);--site-link-hover:light-dark(#1d4ed8, #b3ceff);--header-top-gap:3.2rem;--header-bottom-gap:2.8rem;--h1-font-size:1.9rem;--h2-font-size:1.4rem}body{font-size:var(--body-font-size);text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;overflow-wrap:break-word}.header{display:flex;align-items:baseline;justify-content:space-between;flex-wrap:wrap;column-gap:2rem;row-gap:1rem}.header .header-motto{margin:0 0 0 auto;color:light-dark(#000,#f5f3ed);font-family:Baskerville,baskerville old face,palatino linotype,Georgia,serif;font-size:clamp(1.125rem,2.4vw,1.375rem);font-weight:400;font-style:italic;line-height:1.3;white-space:nowrap}.header-menu{flex-wrap:wrap;column-gap:1.8rem;row-gap:.35rem;padding-top:0}.header-menu p{margin:0;font-family:var(--font-body);font-size:14px}.header-menu a[aria-current=page]{font-weight:600}h1,h2,h3{line-height:1.5;font-weight:600;letter-spacing:.015em}li{line-height:var(--p-line-height)}.site-links{list-style:none;padding-inline-start:0;margin:0}.site-links li{position:relative;margin:0 0 .4rem;padding-inline-start:1.5rem;line-height:var(--p-line-height)}.site-links li::before{content:"";position:absolute;inset-inline-start:0;top:.36em;width:16px;height:16px;background:url(/icons/sprout-lands/farming-plants.png)-16px -16px/80px 240px no-repeat;image-rendering:pixelated}.site-meta{margin-inline-start:.35rem;font-size:var(--meta-font-size);white-space:nowrap}.site-meta a{color:var(--site-link-color);text-decoration:none}.site-meta a:hover{color:var(--site-link-hover);text-decoration:underline}.site-updated{margin-inline-end:.4rem;font-size:var(--meta-font-size);color:var(--content-secondary);white-space:nowrap}.line-date,.single-date,.line-summary{font-family:var(--font-body);font-size:var(--meta-font-size)}footer{color:var(--content-secondary);font-size:.8rem;padding-block:2rem 1rem}footer>p>a{font:inherit}a{text-underline-offset:.2em}a:focus-visible{outline:2px solid currentColor;outline-offset:5px;border-radius:2px}@media(max-width:640px){:root{--main-padding:1.25rem;--header-top-gap:1.6rem;--header-bottom-gap:2rem;--h1-font-size:1.6rem}.header-menu{column-gap:1.6rem}}.site-credit{margin-inline-start:.35rem;font-size:var(--meta-font-size);color:var(--content-secondary)}.single-content h2{margin-block:2.6rem 1rem;font-size:1.3rem;scroll-margin-top:2rem}.single-content h3{margin-block:1.8rem .8rem;font-size:1.08rem;scroll-margin-top:2rem}.single-content p{margin-block:.7rem}.single-content li{margin-block:.3rem}.single-content a{color:var(--site-link-color);overflow-wrap:anywhere}.toc{margin-block:.8rem 2rem;font-size:14px}.toc summary{cursor:pointer;color:var(--content-secondary)}.toc ul{padding-inline-start:1.2rem}.toc li{margin-block:.35rem}.line-title{font-size:var(--body-font-size)}.blog-article .single-title{font-size:1.7rem;margin:0 0 .6rem}.article-layout{position:relative}.article-navigation{margin-bottom:1.5rem}.article-navigation .toc{margin:0;padding:.5rem 0;border:0;border-radius:0;font-size:12px}.article-navigation summary{font-size:13px;color:var(--content-primary)}.article-navigation #TableOfContents{max-height:320px;overflow-y:auto;scrollbar-width:thin}.article-navigation a{text-decoration:none}.article-navigation a:hover{color:var(--site-link-color)}@media(min-width:1400px){.article-navigation{position:fixed;inset-inline-end:max(8px,calc((100vw - 860px)/2 - 252px));top:8rem;width:240px;margin:0}.article-navigation .toc{position:static}.article-navigation #TableOfContents{max-height:min(55vh,calc(100dvh - 12rem))}}@media(min-width:900px) and (max-width:1399px){.article-layout{display:grid;grid-template-columns:minmax(0,1fr)240px;gap:28px;align-items:start}.article-layout .single-content{grid-column:1;grid-row:1;min-width:0}.article-navigation{position:fixed;inset-inline-end:calc((100vw - 860px)/2 + 20px);top:8rem;width:240px}}.article-navigation a[aria-current=location]{color:var(--site-link-color);font-weight:600}.article-navigation #TableOfContents>ul{margin:.6rem 0 0;padding:0;list-style:none}.article-navigation #TableOfContents>ul>li{margin:.25rem 0;padding:0;line-height:1.6}.article-navigation #TableOfContents>ul>li::marker{color:var(--content-secondary)}.article-navigation #TableOfContents>ul>li>a{display:block;min-width:0;padding:.35rem .5rem .35rem .9rem;border-left:2px solid transparent;color:var(--content-secondary);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.article-navigation #TableOfContents ul ul{display:none}.site-links>li{display:flex;align-items:baseline;gap:.4rem}.site-links .site-updated{flex:none;margin:0}.list-item-content{min-width:0}.resource-group+.resource-group{margin-top:2rem}.resource-group>h2{font-size:14px;margin:0 0 .8rem;color:var(--content-secondary);font-weight:500}@media(min-width:900px){.article-navigation{z-index:5}.article-navigation .toc{background:var(--background)}.article-navigation #TableOfContents{max-height:min(420px,calc(100dvh - 12rem))}}.cat-walkway{position:relative;height:52px;width:min(560px,calc(100% - 40px));margin:0 auto 1rem;border-bottom:1px solid #202020}.footer-cat{position:absolute;bottom:-2px;left:0;width:64px;height:48px;padding:0;border:0;background:0 0;cursor:pointer}.footer-cat svg{display:block;overflow:visible;filter:drop-shadow(0 0 1px #e4e0d2)}.cat-facing{transform:scaleX(var(--cat-direction,1));transform-origin:16px 12px}.cat-pose{display:none}[data-pose=walk] .cat-walk,[data-pose=stretch] .cat-stretch,[data-pose=groom] .cat-groom,[data-pose=sit] .cat-sit{display:block}.cat-tail{animation:cat-tail 1.3s steps(2,jump-none)infinite}.cat-groom-head{animation:cat-wash .8s steps(2,jump-none)infinite}.cat-tongue{animation:cat-lick .8s steps(2,jump-none)infinite}@keyframes cat-tail{from{transform:translateY(0)}to{transform:translateY(-1px)}}@keyframes cat-wash{from{transform:translateY(0)}to{transform:translateY(1px)}}@keyframes cat-lick{from{opacity:0}to{opacity:1}}.cat-paused svg *{animation-play-state:paused}@media(prefers-reduced-motion:reduce){.footer-cat svg *{animation:none!important}}body:has(.cat-walkway){--footer-height:140px;--content-height:calc(100vh - var(--footer-height))}footer{flex-direction:column;max-height:none;min-height:var(--footer-height);box-sizing:border-box}footer>p{margin:0;padding-inline:20px;text-align:center}.cat-walkway{flex:0 0 52px}[data-pose=belly] .cat-belly,[data-pose=sleep] .cat-sleep{display:block}.belly-side{animation:belly-side 5.4s steps(1,end)both}.belly-tilt{animation:belly-tilt 5.4s steps(1,end)both}.belly-up{animation:belly-up 5.4s steps(1,end)both}@keyframes belly-side{0%,92%,100%{opacity:1}12%{opacity:0}}@keyframes belly-tilt{0%,24%,92%,100%{opacity:0}12%,84%{opacity:1}}@keyframes belly-up{0%,84%,100%{opacity:0}24%{opacity:1}}.belly-paws-a{animation:cat-stride-a 1.2s steps(1,end)infinite}.belly-paws-b{animation:cat-stride-b 1.2s steps(1,end)infinite}.sleep-settle{animation:sleep-settle .8s steps(1,end)both}.sleep-curled{animation:sleep-curled .8s steps(1,end)both}@keyframes sleep-settle{0%{opacity:1}100%{opacity:0}}@keyframes sleep-curled{0%{opacity:0}100%{opacity:1}}.cat-breathe{animation:cat-breathe 3.2s steps(1,end)infinite}@keyframes cat-breathe{0%,75%,100%{transform:translateY(0)}35%{transform:translateY(1px)}}.cat-sleep-sign{display:none;transform:translateX(calc((1 - var(--cat-direction,1)) * -8px))}[data-pose=sleep] .cat-sleep-sign{display:block}.cat-snooze{opacity:0;animation:cat-snooze 3.2s steps(2,end).8s infinite}@keyframes cat-snooze{0%,100%{opacity:0;transform:translateY(0)}25%{opacity:.5}75%{opacity:.8;transform:translateY(-2px)}}.cat-stride-a{animation:cat-stride-a .7s steps(1,end)infinite}.cat-stride-b{animation:cat-stride-b .7s steps(1,end)infinite}@keyframes cat-stride-a{0%,100%{opacity:1}50%{opacity:0}}@keyframes cat-stride-b{0%,100%{opacity:0}50%{opacity:1}}.stretch-ready{animation:stretch-ready 3.6s steps(1,end)both}.stretch-reach{animation:stretch-reach 3.6s steps(1,end)both}.stretch-extended{animation:stretch-extended 3.6s steps(1,end)both}@keyframes stretch-ready{0%,90%,100%{opacity:1}20%{opacity:0}}@keyframes stretch-reach{0%,40%,90%,100%{opacity:0}20%,75%{opacity:1}}@keyframes stretch-extended{0%,75%,100%{opacity:0}40%{opacity:1}}@media(prefers-reduced-motion:reduce){.cat-stride-b,.stretch-reach,.stretch-extended,.belly-side,.belly-tilt,.belly-paws-b,.sleep-settle{display:none}.cat-snooze{opacity:.6}}body{--credits-height:64px;--footer-height:var(--credits-height);--footer-reserved:calc(var(--footer-height) + env(safe-area-inset-bottom, 0px));--content-height:calc(100dvh - var(--footer-reserved));padding-bottom:var(--footer-reserved)}body:has(.cat-walkway){--footer-height:calc(var(--credits-height) + 76px);--content-height:calc(100dvh - var(--footer-reserved))}body>footer{position:fixed;inset:auto 0 0;z-index:10;height:var(--footer-reserved);min-height:0;padding:12px 0 calc(12px + env(safe-area-inset-bottom,0px));justify-content:center;background:var(--background)}html{scroll-padding-bottom:160px}@media(max-width:480px){body{--credits-height:64px}footer>p{line-height:1.6}}body>footer>p{position:absolute;inset:auto 0 0;height:calc(var(--credits-height) + env(safe-area-inset-bottom,0px));box-sizing:border-box;display:flex;flex-direction:row;white-space:nowrap;font-size:clamp(.5rem,2.6vw,.8rem);line-height:1.6;align-items:center;justify-content:center;padding:12px 20px calc(12px + env(safe-area-inset-bottom,0px))}body>footer>.cat-walkway{position:absolute;left:50%;bottom:calc(var(--credits-height) + env(safe-area-inset-bottom,0px) + 16px);transform:translateX(-50%);margin:0}.article-navigation #TableOfContents>ul>li>a:hover,.article-navigation #TableOfContents>ul>li>a[aria-current=location]{color:var(--site-link-color)}.article-navigation #TableOfContents>ul>li>a[aria-current=location]{border-left-color:var(--site-link-color);font-weight:500}.article-navigation summary{color:var(--content-secondary);font-size:12px;letter-spacing:.08em}@media(min-width:900px){.article-navigation summary{list-style:none;cursor:default;padding-left:1rem}.article-navigation summary::marker{content:''}.article-navigation summary::-webkit-details-marker{display:none}}.toc-tooltip{position:fixed;z-index:30;pointer-events:none;max-width:min(320px,calc(100vw - 24px));box-sizing:border-box;padding:.6rem .8rem;border-radius:6px;background:var(--background);color:var(--content-primary);font-family:var(--font-body);font-size:12px;line-height:1.7;box-shadow:0 3px 18px #0000001a;border:1px solid light-dark(#e8e8e8,#454545);overflow-wrap:anywhere}.toc-tooltip[hidden]{display:none}.article-navigation #TableOfContents>ul>li>a:focus-visible{outline:1px solid var(--site-link-color);outline-offset:-1px;border-radius:2px}.single-content{min-width:0}.single-content .katex{font-size:1.08em}.single-content .katex-display{overflow-x:auto;overflow-y:hidden;padding-block:.35rem}:root{--content-primary-light:rgb(36, 36, 36);--content-secondary-light:rgb(117, 117, 117);--background-light:rgb(255, 255, 255);--code-background-light:rgb(249, 249, 249);--code-border-light:rgb(229, 229, 229);--content-primary-dark:rgb(218, 218, 218);--content-secondary-dark:rgb(140, 140, 140);--background-dark:rgb(20, 20, 20);--code-background-dark:rgb(30, 30, 30);--code-border-dark:rgb(50, 50, 50)}