*,*:before,*:after{box-sizing:border-box}:root{--step--3: clamp(.64rem, .6556rem + -.022vw, .6513rem);--step--2: clamp(.7813rem, .7739rem + .0366vw, .8rem);--step--1: clamp(.9375rem, .9131rem + .122vw, 1rem);--step-0: clamp(1.125rem, 1.0762rem + .2439vw, 1.25rem);--step-1: clamp(1.35rem, 1.2671rem + .4146vw, 1.5625rem);--step-2: clamp(1.62rem, 1.49rem + .65vw, 1.9531rem);--step-3: clamp(1.9438rem, 1.7496rem + .9707vw, 2.4413rem);--step-4: clamp(2.3325rem, 2.0518rem + 1.4037vw, 3.0519rem);--step-5: clamp(2.7994rem, 2.403rem + 1.9817vw, 3.815rem);--space-3xs: clamp(.31rem, calc(.29rem + .12vw), .38rem);--space-2xs: clamp(.56rem, calc(.49rem + .37vw), .75rem);--space-xs: clamp(.88rem, calc(.78rem + .49vw), 1.13rem);--space-s: clamp(1.13rem, calc(.98rem + .73vw), 1.5rem);--space-m: clamp(1.69rem, calc(1.47rem + 1.1vw), 2.25rem);--space-l: clamp(2.25rem, calc(1.96rem + 1.46vw), 3rem);--space-xl: clamp(3.38rem, calc(2.94rem + 2.2vw), 4.5rem);--space-2xl: clamp(4.5rem, calc(3.91rem + 2.93vw), 6rem);--space-3xl: clamp(6.75rem, calc(5.87rem + 4.39vw), 9rem);--space-3xs-2xs: clamp(.31rem, calc(.14rem + .85vw), .75rem);--space-2xs-xs: clamp(.56rem, calc(.34rem + 1.1vw), 1.13rem);--space-xs-s: clamp(.88rem, calc(.63rem + 1.22vw), 1.5rem);--space-s-m: clamp(1.13rem, calc(.69rem + 2.2vw), 2.25rem);--space-m-l: clamp(1.69rem, calc(1.18rem + 2.56vw), 3rem);--space-l-xl: clamp(2.25rem, calc(1.37rem + 4.39vw), 4.5rem);--space-xl-2xl: clamp(3.38rem, calc(2.35rem + 5.12vw), 6rem);--space-2xl-3xl: clamp(4.5rem, calc(2.74rem + 8.78vw), 9rem);--space-xs-2xl: clamp(.88rem, calc(-1.12rem + 10vw), 6rem);--space-l-2xl: clamp(2.25rem, calc(.79rem + 7.32vw), 6rem);--max-page-width: 85rem;--color-purple-70: #B529CA;--color-purple-40: #542189;--color-purple-30: #543C75;--color-purple-20: #3c2c53;--color-purple-10: #171120;--color-blue-40: #00f;--color-blue-60: #007bbc;--color-blue-70: #4CA6FF;--color-red-80: #eb0b19;--color-turquoise-50: #4590A1;--color-turquoise-40: #259391;--color-yellow-80: #f9ebc4;--color-black: #000;--transparent-black-44: #0004;--transparent-black-77: #0007;--transparent-black-88: #0008;--color-white: #fff;--transparent-white-bb: #fffb;--transparent-white-dd: #fffd;--transparent-white-ee: #fffe;--color-gray-10: #171717;--color-gray-20: #272727;--color-gray-40: #575757;--color-gray-70: #c1c1c1;--color-gray-90: #f9f9f9;--theme-body-background: var(--color-white);--theme-body-text: var(--color-black);--theme-body-link: var(--color-blue-40);--theme-body-link-hover: var(--theme-body-link);--theme-body-link-visited: var(--color-purple-40);--theme-body-link-active: var(--color-red-80);--theme-body-date: var(--color-gray-40);--theme-blockquote-border: var(--color-gray-70);--theme-codeblock-background: var(--color-gray-90);--theme-codeblock-border: var(--color-gray-70);--theme-header-background: var(--color-purple-20);--theme-header-grad-start: var(--color-purple-30);--theme-header-grad-end: var(--color-purple-10);--theme-header-text-color: var(--color-white);--theme-header-subtitle-color: var(--color-gray-70);--theme-biopic-border: var(--color-black);--theme-card-content-color: var(--color-black);--theme-card-shadow-color: var(--transparent-black-44);--theme-card-shadow: 0 0 4px 0px var(--theme-card-shadow-color);--theme-card-hover-shadow-color: var(--transparent-black-88);--theme-card-hover-shadow: 0 0 8px 0px var(--theme-card-hover-shadow-color);--theme-card-content-bg: var(--transparent-white-dd);--theme-card-content-shadow: var(--transparent-black-77);--theme-card-date-color: var(--color-gray-90);--theme-card-date-background: var(--color-gray-40);--theme-footer-background: var(--color-turquoise-40);--theme-footer-grad-start: var(--color-turquoise-50);--theme-footer-grad-end: var(--color-turquoise-40);--theme-footer-text: var(--color-black);--theme-license-color: var(--transparent-black-77)}@media (prefers-color-scheme: dark){:root{--theme-body-background: var(--color-gray-10);--theme-body-text: var(--color-white);--theme-body-link: var(--color-blue-70);--theme-body-link-visited: var(--color-purple-70);--theme-body-date: var(--color-gray-70);--theme-blockquote-border: var(--color-gray-40);--theme-codeblock-background: var(--color-gray-20);--theme-codeblock-border: var(--color-gray-40);--theme-header-background: var(--color-purple-20);--theme-header-grad-start: var(--color-purple-10);--theme-header-grad-end: var(--color-purple-30);--theme-header-text-color: var(--color-white);--theme-biopic-border: var(--color-white);--theme-card-shadow-color: var(--transparent-white-bb);--theme-card-shadow: 0 0 8px 1px var(--theme-card-shadow-color);--theme-card-hover-shadow-color: var(--transparent-white-ee);--theme-card-hover-shadow: 0 0 8px 3px var(--theme-card-hover-shadow-color);--theme-footer-background: var(--color-turquoise-40);--theme-footer-grad-start: var(--color-turquoise-50);--theme-footer-grad-end: var(--color-turquoise-40);--theme-footer-text: var(--color-black);--theme-license-color: var(--transparent-black-77)}}body{margin:0;font-family:Helvetica Neue,Helvetica,Arial,sans-serif;font-size:var(--step-0);line-height:1.6;--plucky-vertical-offset: .7em;min-height:100vh;display:flex;flex-direction:column;background-color:var(--theme-body-background);color:var(--theme-body-text)}p,h1,h2,h3,h4,h5,h6,figure,blockquote,ul,ol,menu,dl{margin:0}article>:not(time)+*{margin-block-start:.6em}article+article>h1{margin-block-start:1.6em}h1,h2,h3,h4{line-height:1.2}h1{font-size:var(--step-5)}h2{font-size:var(--step-4)}h3{font-size:var(--step-3)}h4{font-size:var(--step-2)}a{color:var(--theme-body-link)}a:hover{color:var(--theme-body-link-hover)}a:active{color:var(--theme-body-link-active)}a:visited{color:var(--theme-body-link-visited)}img,video{display:block;width:calc(100% + 2 * var(--main-padding-inline));margin-left:calc(-1 * var(--main-padding-inline))}figcaption{text-align:center}figcaption:not(.equation){margin-inline:var(--space-s);font-size:var(--step--1);color:var(--theme-body-date)}figcaption.longcaption{text-align:start}cite{font-size:var(--step--2)}td,th{padding:var(--space-3xs) var(--space-xs);text-align:left}.num:is(td,th){text-align:right}header{background-color:var(--theme-header-background);background-image:linear-gradient(to bottom,var(--theme-header-grad-start),var(--theme-header-grad-end));color:var(--theme-header-text-color);--font-size: clamp(2.38rem, calc(.96rem + 7.07vw), 6rem)}.header-content{max-width:var(--max-page-width);margin-inline:auto;display:flex;flex-direction:column;padding-inline:var(--space-xs-2xl);padding-block:var(--space-l-2xl);align-items:center}.header-layout{display:grid;justify-items:center}header h1{font-size:var(--font-size);display:flex;flex-direction:column;align-items:center;margin:0}header h1 :is(a,a:active,a:hover,a:visited){color:currentcolor;text-decoration:none}#logo-link,#logo-link:is(:active,:hover,:visited){color:currentcolor;text-decoration:none}#logo{--height: calc(var(--font-size) * 1.6);height:var(--height);--aspect-ratio: .58974359;width:calc(var(--height) * var(--aspect-ratio));--logo-color: currentcolor;filter:drop-shadow(0 0 .02em var(--theme-header-text-color))}.logo-svg path{stroke:var(--logo-color, black)}.logo-svg rect{fill:var(--logo-color, black)}header h2{font-size:clamp(1.09rem,calc(.68rem + 2.08vw),2.16rem);font-weight:200;margin:0}header ul{list-style:none;padding:0;display:flex;gap:var(--space-s)}header nav{margin-bottom:var(--space-xs)}header .bottom-border{height:0}header nav menu{font-size:var(--step-1);list-style:none;padding:0;display:flex;justify-content:center;flex-wrap:wrap;column-gap:var(--space-s)}header nav menu plucky-underline::part(line-svg){filter:drop-shadow(0 0 2px currentcolor) drop-shadow(0 0 3px #00000080)}header nav menu :is(a,a:active,a:hover,a:visited){color:currentcolor}header nav [aria-current=page] a{font-weight:700}#biopic{width:10em;height:10em;float:inline-start;border:.333em solid var(--theme-biopic-border);border-radius:50%;shape-outside:margin-box;margin:0 1em 1em 0}main{flex-grow:1;margin-block:var(--space-xs);margin-inline:auto;width:100%;max-width:var(--max-page-width);--main-padding-inline: var(--space-xs);padding-inline:var(--main-padding-inline)}@media (min-width: 512px){.header-content{align-items:start}.header-layout{justify-items:start;grid-template-columns:repeat(2,auto);grid-template-rows:repeat(2,auto);column-gap:var(--space-xs)}#logo-link{grid-area:1 / 1 / 3 / 2}header nav{align-self:end}header h1{flex-direction:row;align-items:baseline;white-space:nowrap;gap:var(--space-xs)}main{padding-inline:var(--space-xs-2xl)}img,video{max-width:100%;width:revert;margin-inline:auto}img.wide{width:100%}}article,.prose-width{max-width:66ch;margin-inline:auto}article h1 :is(a,a:hover,a:active,a:visited){color:currentcolor;text-decoration:none}article time,article time :is(a,a:hover,a:active,a:visited){font-size:var(--step--1);color:var(--theme-body-date);text-decoration:none}article blockquote{padding-inline:1rem 2rem;border-inline-start:.5rem solid var(--theme-blockquote-border);font-style:italic}article aside{padding-inline:1rem 2rem;border-inline-start:.5rem solid var(--theme-blockquote-border)}article pre,article pre[class*=language-]{font-size:var(--step--1)}article pre:not([class*="language-"]){border:1px solid var(--theme-codeblock-border);border-radius:8px;padding:var(--space-xs);background-color:var(--theme-codeblock-background)}article .footnotes{font-size:var(--step--1)}kbd{border:1px solid var(--theme-codeblock-border);border-radius:6px;padding-inline:.7rem;background-color:var(--theme-codeblock-background);font-family:inherit;font-size:var(--step--1)}kbd+kbd{margin-inline-start:.3rem}:is(p,li,blockquote) code{border:1px solid var(--theme-codeblock-border);border-radius:6px;background-color:var(--theme-codeblock-background);padding-inline:.2em}.pagination-navigation menu{margin-block-start:1rem;display:grid;grid-template-columns:auto 1fr auto;list-style:none;padding:0;font-size:var(--step--1)}.pagination-navigation .chevron{display:inline-block}.pagination-navigation a{color:currentcolor;text-decoration:none}.pagination-navigation .pagination-navigation-previous{grid-column:1 / 2}.pagination-navigation .pagination-navigation-previous .chevron{transform:translateY(0) rotate(45deg)}.pagination-navigation .pagination-navigation-next{grid-column:3 / -1}.pagination-navigation .pagination-navigation-next .chevron{transform:translateY(2px) rotate(-135deg)}article.card-list-section{max-width:revert}.card-list{list-style:none;padding:0;display:grid;grid-template-columns:repeat(auto-fit,minmax(18rem,1fr));gap:var(--space-m)}h1+.card-list{margin-block-start:var(--space-xs)}.card{max-width:revert;margin-inline:revert;height:100%;border-radius:8px;display:flex;overflow:hidden;box-shadow:var(--theme-card-shadow);transform:rotate(-.2deg);transition:transform .1s}.card-content{flex-grow:1;padding:var(--space-s)}.card.image-card{background-size:cover;background-position:center;color:var(--theme-card-content-color)}.card.image-card .card-content{background-color:var(--theme-card-content-bg);box-shadow:0 -2px 8px 0 var(--theme-card-content-shadow);margin-top:50%}.card.text-only-card .card-content{background-color:var(--theme-codeblock-background)}.card.image-card h1{font-size:var(--step-2)}.card.text-only-card h1{font-size:var(--step-1);line-height:1}.card p{font-size:var(--step--1)}.card.image-card time{display:block;width:fit-content;padding:0 .8rem;background-color:var(--theme-card-date-background);border-radius:1rem;color:var(--theme-card-date-color)}.card time{font-size:var(--step--2);color:var(--theme-body-date)}.card-list a{color:currentcolor;text-decoration:none}.card-list a:hover .card{box-shadow:var(--theme-card-hover-shadow);transform:rotate(.2deg)}.error{text-align:center}footer{background-color:var(--theme-footer-background);background-image:linear-gradient(to bottom,var(--theme-footer-grad-start),var(--theme-footer-grad-end));color:var(--theme-footer-text)}.footer-content{max-width:var(--max-page-width);margin-inline:auto;padding:var(--space-xs-2xl);display:flex;flex-direction:column;align-items:center;row-gap:var(--space-s)}footer h1{font-size:var(--step-4);font-weight:400}footer menu{list-style:none;padding:0;font-size:var(--step-1);display:flex;column-gap:var(--space-s);flex-wrap:wrap;justify-content:center}footer menu :is(a,a:hover,a:active,a:visited){color:currentcolor}a[rel=license]{text-decoration:none}.license{display:inline-block;width:2em;height:2em;background-color:var(--theme-license-color);--mask-size: contain;-webkit-mask-size:var(--mask-size);-webkit-mask-image:var(--mask-image);mask-size:var(--mask-size);mask-image:var(--mask-image);color:transparent}a:hover .license{background-color:var(--theme-footer-text)}.license.cc{--mask-image: url(/img/license/cc.svg)}.license.by{--mask-image: url(/img/license/by.svg)}.license.nc{--mask-image: url(/img/license/nc.svg)}.license.sa{--mask-image: url(/img/license/sa.svg)}ol.article-list{list-style-type:"";padding-inline-start:unset}.article-list h2{margin-block-start:1em}.article-list h2{font-size:var(--step-3)}.article-list h2 a{color:currentcolor}.overflow-inline{max-inline-size:100%;overflow-inline:auto;overflow-x:auto}.overflow-inline:has(.katex-display){overflow-block:hidden;overflow-y:hidden}.overflow-inline table{white-space:nowrap}article .katex-display{margin-block:0}.function-plot .origin{stroke:var(--theme-body-text);opacity:.6}.function-plot .axis line{stroke:var(--theme-body-text);opacity:.2}.function-plot .graph path{stroke-width:2px}.function-plot .zoom-and-drag{pointer-events:none!important}article figure.youtube iframe{width:100%;aspect-ratio:1.7777}#webring{margin:var(--space-s);width:fit-content;margin-inline:auto;border:2px ridge var(--theme-codeblock-border);padding:var(--space-2xs)}#webring ol{padding:0;list-style:none;display:flex;justify-content:space-evenly;gap:var(--space-xs)}#webring h2{font-size:var(--step-0);text-align:center;font-weight:400}#webring ol li{text-align:center;font-size:var(--step--2)}