:root{color-scheme:light}*{box-sizing:border-box}html{font-family:var(--ds-fonts-sans),ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;background:var(--ds-colors-bg);color:var(--ds-colors-fg)}body{margin:0;min-width:320px;font-size:15px;line-height:1.46}a{color:inherit;text-decoration-thickness:.08em;text-underline-offset:.2em}a:hover{color:var(--ds-colors-link_hover)}img{display:block;max-width:100%}code{font-family:var(--ds-fonts-mono),"SFMono-Regular",Consolas,"Liberation Mono",monospace;font-size:.92em}.skip-link{position:fixed;left:1rem;top:1rem;z-index:10;transform:translateY(-160%);background:var(--ds-colors-fg);color:var(--ds-colors-bg);padding:.6rem .8rem;text-decoration:none}.skip-link:focus{transform:translateY(0)}.site-header,.site-footer,.page-shell,.not-found{width:min(1480px,calc(100% - clamp(2rem,4vw,4rem)));max-width:calc(100vw - clamp(2rem,4vw,4rem));margin-right:auto;margin-left:auto}.site-header{margin-top:1.15rem;border-top:var(--ds-border_width-bw2) solid var(--ds-colors-fg);border-bottom:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);padding:.75rem 0 .8rem}.site-header__inner{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:.9rem 2rem;min-width:0}.brand{display:inline-flex;align-items:center;gap:.7rem;color:var(--ds-colors-fg);min-width:0;text-decoration:none}.brand-mark{display:inline-grid;width:2.15rem;height:2.15rem;flex:0 0 auto;place-items:center;border:var(--ds-border_width-bw1) solid var(--ds-colors-fg);background:var(--ds-colors-fg);color:var(--ds-colors-bg);font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.7rem;font-weight:var(--ds-weight-bold);letter-spacing:0;text-transform:uppercase}.brand-copy{display:grid;gap:.15rem;min-width:0}.brand-title{color:var(--ds-colors-fg);font-size:1.05rem;font-weight:var(--ds-weight-bold);letter-spacing:var(--ds-tracking-normal);line-height:1}.brand-meta{color:var(--ds-colors-fg2);font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:var(--ds-sizes-print-xs);font-weight:var(--ds-weight-medium);letter-spacing:var(--ds-tracking-label);line-height:1;text-transform:uppercase}.site-nav{display:flex;flex-wrap:wrap;justify-content:flex-start;gap:.55rem 1.15rem;color:var(--ds-colors-fg);font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:var(--ds-sizes-print-xs);font-weight:var(--ds-weight-semibold);letter-spacing:var(--ds-tracking-label);max-width:100%;min-width:0;text-transform:uppercase}.site-nav a{display:inline-flex;align-items:center;gap:.35rem;color:inherit;min-width:0;text-decoration:none}.site-nav a:first-child{border-left:0}.site-nav a:hover,.site-nav a[aria-current=page]{color:var(--ds-colors-accent_hover)}.site-nav a[aria-current=page]{color:var(--ds-colors-accent)}.nav-number{color:var(--ds-colors-fg3);letter-spacing:var(--ds-tracking-normal)}.nav-label{text-decoration:underline;text-decoration-thickness:.08em;text-underline-offset:.22em}.site-nav a[aria-current=page] .nav-label{text-decoration-thickness:.13em}.hero,.page-hero{border-top:0}.hero{display:grid;grid-template-columns:minmax(0,1fr) 140px;gap:clamp(1.6rem,4vw,3rem);align-items:start;padding:clamp(2rem,4.5vw,3.4rem) 0}.hero--datasheet{grid-template-columns:minmax(0,1fr) minmax(18rem,23rem);gap:clamp(2rem,7vw,5rem);padding:clamp(2.5rem,5vw,4.5rem) 0 clamp(2rem,4vw,3rem)}.hero--profile{grid-template-columns:minmax(0,1fr) minmax(11.5rem,14rem);gap:clamp(2rem,6vw,4.5rem)}.page-hero{padding:clamp(2.4rem,6vw,4.5rem) 0 clamp(1.8rem,4vw,3.2rem)}.page-hero--split{display:grid;grid-template-columns:minmax(0,1fr) 220px;gap:clamp(2rem,4vw,3rem);align-items:start}.hero-copy,.page-hero>div:first-child,.page-hero>.lede,.page-hero>h1{max-width:850px}.eyebrow,.section-kicker,.meta,.label--mono{margin:0 0 .85rem;color:var(--ds-colors-accent);font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:var(--ds-sizes-print-xs);font-weight:var(--ds-weight-bold);letter-spacing:var(--ds-tracking-label);text-transform:uppercase}.meta{font-size:var(--ds-sizes-print-xs);color:var(--ds-colors-fg2)}.section-marker{display:inline-block;margin-right:.5em;color:var(--ds-colors-accent);font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-weight:var(--ds-weight-medium);letter-spacing:var(--ds-tracking-normal)}h1,h2,h3,h4,p,li,dt,dd{overflow-wrap:break-word}.hero>*,.page-hero>*,.section-heading>*,.timeline article>*,.publication-list article>*,.compact-list article>*,.list-row>*,.statement-list p>*,.feature-grid>*,.item-grid>*,.thesis-grid>*{min-width:0}h1{max-width:28ch;margin:0;font-size:clamp(2rem,3.7vw,3.5rem);letter-spacing:var(--ds-tracking-normal);line-height:.98}.page-hero h1{max-width:32ch;font-size:clamp(1.8rem,2.8vw,2.6rem)}h2{margin:0;font-size:clamp(1.08rem,1.45vw,1.35rem);line-height:1.2}h3{margin:0;font-size:1rem;line-height:1.3}h4{margin:0;font-size:.95rem;line-height:1.3}.lede{max-width:780px;margin:1.2rem 0 0;color:var(--ds-colors-fg2);font-size:clamp(.96rem,1.15vw,1.05rem);line-height:1.55}.hero-subline{margin:1.6rem 0 0;color:var(--ds-colors-fg2);font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:var(--ds-sizes-print-sm);letter-spacing:var(--ds-tracking-label);line-height:1.45;overflow-wrap:anywhere;text-transform:uppercase}.statement-list{display:grid;margin-top:clamp(1.8rem,4vw,3.2rem);max-width:1180px;border-top:var(--ds-border_width-bw1) solid var(--ds-colors-border_subtle)}.statement-list p{display:grid;grid-template-columns:3.8rem minmax(0,1fr);gap:.45rem;margin:0;border-bottom:var(--ds-border_width-bw1) solid var(--ds-colors-border_subtle);padding:.85rem 0;font-size:clamp(.94rem,1.15vw,1.05rem);line-height:1.6}.statement-number{color:var(--ds-colors-accent);font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:var(--ds-sizes-print-sm);font-weight:var(--ds-weight-bold)}.inline-actions{display:flex;flex-wrap:wrap;gap:.4rem 1.1rem;margin-top:1.6rem;font-size:1rem}.inline-actions a+a:before{margin-right:1.1rem;color:var(--ds-colors-fg3);font-weight:var(--ds-weight-regular)}.spec-panel{margin-top:clamp(.5rem,3vw,2.5rem);border:var(--ds-border_width-bw2) solid var(--ds-colors-fg);padding:clamp(1rem,2vw,1.45rem)}.spec-panel h2{display:flex;align-items:center;gap:.55rem;margin:0 0 1.15rem;color:var(--ds-colors-accent);font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:var(--ds-sizes-print-sm);font-weight:var(--ds-weight-bold);letter-spacing:var(--ds-tracking-label);line-height:1.2;text-transform:uppercase}.spec-panel h2 span{font-size:.7rem}.spec-panel dl{display:grid;gap:.75rem}.spec-panel dl div{display:grid;grid-template-columns:7rem minmax(0,1fr);gap:1rem}.spec-panel dt,.spec-panel dd{font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:var(--ds-sizes-print-sm);font-weight:var(--ds-weight-medium);line-height:1.35}.spec-panel dt{color:var(--ds-colors-fg2)}.spec-panel dd{color:var(--ds-colors-fg)}.action-row{display:flex;flex-wrap:wrap;gap:.75rem;margin-top:2rem}.button{display:inline-flex;min-height:2.8rem;align-items:center;justify-content:center;border:var(--ds-border_width-bw1) solid var(--ds-colors-fg);padding:.75rem 1rem;color:var(--ds-colors-fg);font-weight:700;text-decoration:none}.button--primary{background:var(--ds-colors-fg);color:var(--ds-colors-bg)}.button:hover{border-color:var(--ds-colors-accent_hover)}.button--primary:hover{color:var(--ds-colors-bg);background:var(--ds-colors-accent_hover)}.profile-figure,.contact-panel{margin:0;border:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);background:var(--ds-colors-bg)}.profile-figure{max-width:120px;justify-self:end}.profile-figure--home{max-width:12rem}.profile-figure img,.contact-panel img{display:block;width:100%;height:auto;aspect-ratio:1;object-fit:cover;background:var(--ds-colors-bg_code)}.profile-figure figcaption{display:grid;gap:.25rem;padding:1.95rem .85rem;font-size:.82rem}.profile-figure figcaption span{font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:var(--ds-sizes-print-xs);letter-spacing:var(--ds-tracking-label);padding:.15rem 0rem;text-transform:uppercase;color:var(--ds-colors-fg2)}.profile-figure span,.contact-panel dd,.detail-card p,.publication-list p,.compact-list p,.list-row p,.thesis-card p{color:var(--ds-colors-fg2)}.contact-panel{overflow:hidden}dl{margin:0}.contact-panel dl,.thesis-card dl,.list-row dl{display:grid;gap:1px;background:var(--ds-colors-border_soft)}.contact-panel dl div,.thesis-card dl div,.list-row dl div{display:grid;grid-template-columns:7rem minmax(0,1fr);gap:1rem;background:var(--ds-colors-bg);padding:.85rem 0rem}.contact-panel dl div{grid-template-columns:1fr;gap:.2rem}.contact-panel dd{font-size:.88rem;overflow-wrap:anywhere}dt{color:var(--ds-colors-fg2);font-size:.84rem}dd{margin:0;font-weight:700}.metric-strip{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:1px;margin:0 0 clamp(2.5rem,6vw,5rem);border:var(--ds-border_width-bw1) solid var(--ds-colors-fg);background:var(--ds-colors-fg)}.metric-strip div{min-height:7.4rem;display:grid;align-content:center;gap:.3rem;background:var(--ds-colors-bg);padding:1rem}.metric-strip strong{color:var(--ds-colors-accent);font-size:clamp(1.6rem,2.8vw,2.3rem);line-height:1}.metric-strip span{color:var(--ds-colors-fg2);font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:var(--ds-sizes-print-xs);letter-spacing:var(--ds-tracking-label);text-transform:uppercase}.feature-grid,.item-grid,.thesis-grid{display:grid;gap:clamp(1rem,2vw,1.6rem)}.feature-grid{grid-template-columns:repeat(3,minmax(0,1fr));margin:0 0 5rem}.feature-grid article,.detail-card,.thesis-card{border:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);border-top:var(--ds-border_width-bw3) solid var(--ds-colors-fg3);border-radius:0;background:var(--ds-colors-bg);box-shadow:none;padding:clamp(1.35rem,2.4vw,2rem)}.feature-grid article{min-height:18rem;display:flex;flex-direction:column;border-top-color:var(--ds-colors-accent)}.feature-grid p:not(.section-kicker),.detail-card p,.thesis-card p{color:var(--ds-colors-fg2);font-size:clamp(.6rem,1.25vw,1.08rem);line-height:1.55}.feature-grid h2,.detail-card h3,.thesis-card h3{font-size:clamp(.7rem,1.45vw,1.32rem);line-height:1.22}.feature-grid .text-link{margin-top:auto}.content-band{padding:clamp(2.2rem,5vw,4rem) 0;border-top:var(--ds-border_width-bw2) solid var(--ds-colors-fg)}.home-output{padding-top:2rem}.content-band--table{border-top:0;padding-top:clamp(1.5rem,3vw,2.3rem)}.table-heading{display:flex;align-items:end;justify-content:space-between;gap:1rem;border-bottom:var(--ds-border_width-bw2) solid var(--ds-colors-fg);padding-bottom:.7rem}.table-heading p{margin:0;color:var(--ds-colors-accent);font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:var(--ds-sizes-print-sm);font-weight:var(--ds-weight-bold);letter-spacing:var(--ds-tracking-label);text-transform:uppercase}.visually-hidden{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0,0,0,0);clip-path:inset(50%);white-space:nowrap}.content-band:last-child{padding-bottom:5rem}.section-heading{display:grid;grid-template-columns:minmax(10rem,.35fr) minmax(0,.65fr);gap:1rem;margin-bottom:1.5rem}.item-grid--two{grid-template-columns:repeat(2,minmax(0,1fr))}.item-grid--three{grid-template-columns:repeat(3,minmax(0,1fr))}.detail-card{display:grid;gap:.75rem;align-content:start}.detail-card .meta{margin-bottom:.1rem}.detail-card--accent{border-top:var(--ds-border_width-bw3) solid var(--ds-colors-accent)}.detail-card ul,.timeline ul,.plain-list,.tag-list{margin:0;padding:0}.detail-card ul,.timeline ul{display:grid;gap:.5rem;padding-left:1.1rem;color:var(--ds-colors-fg2);line-height:1.5}.plain-list{display:grid;gap:.85rem;list-style:none}.plain-list li{display:grid;gap:.2rem}.plain-list span{color:var(--ds-colors-fg2);font-size:.85rem;text-transform:uppercase}.tag-list{display:flex;flex-wrap:wrap;gap:.5rem;list-style:none}.tag-list li,.status-pill{border:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);border-radius:0;background:transparent;color:var(--ds-colors-fg);padding:.42rem .58rem;font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:var(--ds-sizes-print-xs);font-weight:var(--ds-weight-semibold);letter-spacing:var(--ds-tracking-label);text-transform:uppercase}.tag-list--light li{background:transparent;color:var(--ds-colors-fg2);font-weight:500;border-color:var(--ds-colors-border_soft)}.timeline,.publication-list,.compact-list,.course-archive{display:grid;border-top:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft)}.timeline article,.publication-list article,.compact-list article,.list-row{display:grid;grid-template-columns:minmax(9rem,.25fr) minmax(0,1fr);gap:1rem;border-bottom:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);padding:1.2rem 0}.publication-list article:nth-child(2n),.compact-list article:nth-child(2n){background:var(--ds-colors-bg_sunken)}.publication-list--datasheet{border-top:0}.publication-list--datasheet article{grid-template-columns:minmax(8rem,.14fr) minmax(0,1fr);padding:1.05rem .8rem}.publication-list--datasheet h3{font-size:clamp(1rem,1.25vw,1.12rem);line-height:1.22}.publication-list--datasheet p{margin:0;overflow-wrap:anywhere}.publication-list--datasheet h3{overflow-wrap:anywhere}.publication-list--datasheet article>div{display:grid;gap:.45rem}.timeline-date,.compact-list span{color:var(--ds-colors-accent);font-weight:800}.timeline article>div,.publication-list article,.compact-list article>div,.list-row>div{display:grid;gap:.6rem}.publication-list h3{font-size:1.14rem}.compact-list h3{font-size:1rem}.course-year-group{display:grid;grid-template-columns:minmax(8rem,.18fr) minmax(0,1fr);gap:1.5rem;border-bottom:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);padding:1.5rem 0}.course-year-group>h3{color:var(--ds-colors-accent_hover);font-size:1.35rem}.course-year-group>div{display:grid;gap:1px;background:var(--ds-colors-border_soft);border:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft)}.courses-registry .table-heading{border-bottom:0;padding-bottom:clamp(1.8rem,4vw,3.2rem)}.courses-registry .table-heading p{color:var(--ds-colors-fg)}.registry-table{display:grid;overflow-x:auto;border-top:var(--ds-border_width-bw3) solid var(--ds-colors-fg);border-bottom:var(--ds-border_width-bw3) solid var(--ds-colors-fg);font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace}.registry-table__head,.registry-row{display:grid;grid-template-columns:minmax(7.2rem,.85fr) minmax(22rem,4fr) minmax(3rem,.4fr) minmax(5rem,.65fr) minmax(6rem,.75fr) minmax(5rem,.6fr);min-width:900px;align-items:center;gap:1rem}.registry-table__head{border-bottom:var(--ds-border_width-bw1) solid var(--ds-colors-fg);padding:.95rem 1.2rem;font-size:.8rem;font-weight:var(--ds-weight-bold);letter-spacing:var(--ds-tracking-label);line-height:1;text-transform:uppercase}.registry-row{border-bottom:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);padding:.9rem 1.2rem;font-size:clamp(.52rem,1vw,1.02rem);line-height:1.25}.registry-row:nth-of-type(2n){background:var(--ds-colors-bg_sunken)}.registry-row:last-child{border-bottom:0}.registry-row__course{color:var(--ds-colors-fg);font-size:clamp(.78rem,1.1vw,1.08rem);line-height:1.2}.registry-row__web{color:var(--ds-colors-accent);font-weight:var(--ds-weight-regular)}.list-row{border:0;background:var(--ds-colors-bg);padding:1rem}.list-row dl{grid-template-columns:repeat(2,minmax(0,1fr));align-self:start;background:transparent}.list-row dl div{display:grid;grid-template-columns:1fr;gap:.2rem;border-left:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);background:transparent;padding:0 0 0 .8rem}.thesis-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.thesis-card{display:flex;flex-direction:column;gap:.85rem}.thesis-card--green{border-top-color:var(--ds-colors-accent)}.thesis-card--yellow,.thesis-card--red{border-top-color:var(--ds-colors-fg3)}.text-link{color:var(--ds-colors-accent);font-weight:700}.site-footer{display:flex;align-items:center;justify-content:space-between;gap:1.5rem;margin-top:clamp(3rem,6vw,5rem);border-top:var(--ds-border_width-bw3) solid var(--ds-colors-fg);border-bottom:var(--ds-border_width-bw1) solid var(--ds-colors-fg);padding:1rem 0}.footer-links{display:flex;flex-wrap:wrap;gap:.8rem 1.3rem}.footer-links a{color:var(--ds-colors-fg)}.footer-links a+a:before{content:"·";margin-right:1.3rem;color:var(--ds-colors-fg3);text-decoration:none}.site-footer p{display:flex;flex-wrap:wrap;justify-content:flex-end;gap:.6rem 1.2rem;margin:0;color:var(--ds-colors-fg2);font-family:var(--ds-fonts-mono),ui-monospace,SFMono-Regular,Menlo,monospace;font-size:var(--ds-sizes-print-sm);letter-spacing:var(--ds-tracking-label);text-transform:uppercase}.site-footer strong{color:var(--ds-colors-accent)}.not-found{min-height:72vh;display:grid;align-content:center;border-top:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft)}.blog-list{display:grid;gap:1px;border:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);background:var(--ds-colors-border_soft)}.blog-card{display:grid;gap:.6rem;background:var(--ds-colors-bg);padding:clamp(1.2rem,3vw,1.6rem) clamp(1rem,2vw,1.4rem)}.blog-card__meta{color:var(--ds-colors-fg2);font-size:.85rem}.blog-card h2{font-size:clamp(1.2rem,1.8vw,1.5rem)}.blog-card h2 a{text-decoration:none}.blog-card h2 a:hover{color:var(--ds-colors-accent_hover)}.blog-card p{color:var(--ds-colors-fg2);line-height:1.6}.blog-post__header{padding:clamp(3rem,8vw,6rem) 0 clamp(2rem,5vw,3rem);border-top:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft)}.blog-post__header h1{margin-top:.5rem}.blog-post__header .eyebrow{color:var(--ds-colors-fg2);font-weight:600;text-transform:none}.blog-post__body{max-width:820px;padding-bottom:5rem;line-height:1.7;font-size:1.1rem}.blog-post__body h2{margin-top:2.5rem;font-size:clamp(1.4rem,2.5vw,1.85rem)}.blog-post__body h3{margin-top:2rem;font-size:1.15rem}.blog-post__body p{margin:1.2rem 0}.blog-post__body pre{overflow-x:auto;border:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);background:var(--ds-colors-bg_code);padding:1rem;font-size:.9rem;line-height:1.5}.blog-post__body code{background:var(--ds-colors-bg_code);padding:.15em .3em;font-size:.9em}.blog-post__body pre code{background:transparent;padding:0}.blog-post__body img{margin:2rem 0;border:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);height:auto}.blog-post__body ul,.blog-post__body ol{padding-left:1.4rem}.blog-post__body li{margin:.5rem 0}.blog-post__body a{color:var(--ds-colors-link)}.blog-post__body blockquote{margin:1.5rem 0;border-left:var(--ds-border_width-bw3) solid var(--ds-colors-accent);padding-left:1rem;color:var(--ds-colors-fg2)}.tag-grid{display:flex;flex-wrap:wrap;gap:.6rem}.tag-pill{display:inline-flex;align-items:center;gap:.45rem;border:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);background:var(--ds-colors-bg);padding:.5rem .75rem;font-size:.9rem;font-weight:700;text-decoration:none}.tag-pill:hover{border-color:var(--ds-colors-accent)}.tag-pill__count{display:inline-flex;align-items:center;justify-content:center;min-width:1.4rem;height:1.4rem;border-radius:var(--ds-radius-flat);background:var(--ds-colors-bg_code);color:var(--ds-colors-fg2);font-size:.78rem}.tag-list li a{text-decoration:none}.tag-list li a:hover{color:var(--ds-colors-accent_hover)}@media(max-width:980px){.hero,.page-hero--split,.section-heading,.course-year-group{grid-template-columns:1fr}.feature-grid,.item-grid--three,.thesis-grid,.metric-strip{grid-template-columns:repeat(2,minmax(0,1fr))}.profile-figure{max-width:160px;justify-self:start}.profile-figure--home{display:none}}@media(max-width:720px){.site-header{margin-top:1rem}.site-header,.site-footer,.page-shell,.not-found{width:calc(100% - 2rem);max-width:calc(100vw - 2rem)}.site-header__inner{align-items:flex-start;flex-direction:column}.site-nav{gap:.6rem 1rem;width:100%}.brand-mark{width:2rem;height:2rem}.hero{min-height:auto}.statement-list p,.publication-list--datasheet article{grid-template-columns:1fr}.statement-list p{gap:.4rem}.spec-panel dl div{grid-template-columns:minmax(6rem,.42fr) minmax(0,1fr)}.site-footer{align-items:flex-start;flex-direction:column}h1,.page-hero h1{font-size:clamp(1.7rem,5.5vw,2.2rem)}.feature-grid,.item-grid--two,.item-grid--three,.thesis-grid,.metric-strip{grid-template-columns:1fr}.timeline article,.publication-list article,.compact-list article,.list-row{grid-template-columns:1fr}.list-row dl,.contact-panel dl div,.thesis-card dl div{grid-template-columns:1fr}.list-row dl div{border-left:0;border-top:var(--ds-border_width-bw1) solid var(--ds-colors-border_soft);padding:.6rem 0 0}}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:700;font-display:block;src:url(/_astro/IBMPlexMono-Bold.Dxl13fv6.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:700;font-display:block;src:url(/_astro/IBMPlexMono-BoldItalic.C5aG28w1.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:200;font-display:block;src:url(/_astro/IBMPlexMono-ExtraLight.QBY5O6Zo.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:200;font-display:block;src:url(/_astro/IBMPlexMono-ExtraLightItalic.BCVhtnXb.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:400;font-display:block;src:url(/_astro/IBMPlexMono-Italic.DbuvGlyJ.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:300;font-display:block;src:url(/_astro/IBMPlexMono-Light.mJCrGg6w.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:300;font-display:block;src:url(/_astro/IBMPlexMono-LightItalic.xauSnf0f.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:block;src:url(/_astro/IBMPlexMono-Medium.C6Yiy3SZ.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:500;font-display:block;src:url(/_astro/IBMPlexMono-MediumItalic.0M051Nd0.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:block;src:url(/_astro/IBMPlexMono-Regular.rU1svAii.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:600;font-display:block;src:url(/_astro/IBMPlexMono-SemiBold.DH0fkt0h.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:600;font-display:block;src:url(/_astro/IBMPlexMono-SemiBoldItalic.CctLtGih.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:450;font-display:block;src:url(/_astro/IBMPlexMono-Text.Z-RCj5HV.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:450;font-display:block;src:url(/_astro/IBMPlexMono-TextItalic.CIgPe3vx.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:100;font-display:block;src:url(/_astro/IBMPlexMono-Thin.BusA3FPX.otf) format("opentype")}@font-face{font-family:IBM Plex Mono;font-style:italic;font-weight:100;font-display:block;src:url(/_astro/IBMPlexMono-ThinItalic.BzoXMNdo.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:700;font-display:block;src:url(/_astro/IBMPlexSans-Bold.DYhA6dj2.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:italic;font-weight:700;font-display:block;src:url(/_astro/IBMPlexSans-BoldItalic.BLwc-F32.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:200;font-display:block;src:url(/_astro/IBMPlexSans-ExtraLight.CHxjD-HB.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:italic;font-weight:200;font-display:block;src:url(/_astro/IBMPlexSans-ExtraLightItalic.BKTqQnbg.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:italic;font-weight:400;font-display:block;src:url(/_astro/IBMPlexSans-Italic.rF1L-zjB.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:300;font-display:block;src:url(/_astro/IBMPlexSans-Light.BTb1UJ7c.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:italic;font-weight:300;font-display:block;src:url(/_astro/IBMPlexSans-LightItalic.DrawaYh3.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:500;font-display:block;src:url(/_astro/IBMPlexSans-Medium.BSx7QPM9.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:italic;font-weight:500;font-display:block;src:url(/_astro/IBMPlexSans-MediumItalic.CHVJpK9G.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:400;font-display:block;src:url(/_astro/IBMPlexSans-Regular.ByesYdoU.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:600;font-display:block;src:url(/_astro/IBMPlexSans-SemiBold.nwDVuWSf.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:italic;font-weight:600;font-display:block;src:url(/_astro/IBMPlexSans-SemiBoldItalic.DRS1Y7Zz.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:450;font-display:block;src:url(/_astro/IBMPlexSans-Text.E7DeffDD.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:italic;font-weight:450;font-display:block;src:url(/_astro/IBMPlexSans-TextItalic.Da0OkYXP.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:100;font-display:block;src:url(/_astro/IBMPlexSans-Thin.ABqfk-KM.otf) format("opentype")}@font-face{font-family:IBM Plex Sans;font-style:italic;font-weight:100;font-display:block;src:url(/_astro/IBMPlexSans-ThinItalic.CWKf76Sj.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:normal;font-weight:700;font-display:block;src:url(/_astro/IBMPlexSerif-Bold.DYMS_nVM.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:italic;font-weight:700;font-display:block;src:url(/_astro/IBMPlexSerif-BoldItalic.BXgJ2iE6.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:normal;font-weight:200;font-display:block;src:url(/_astro/IBMPlexSerif-ExtraLight.LjrxQrPq.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:italic;font-weight:200;font-display:block;src:url(/_astro/IBMPlexSerif-ExtraLightItalic.CF99xNAX.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:italic;font-weight:400;font-display:block;src:url(/_astro/IBMPlexSerif-Italic.D23dRo7q.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:normal;font-weight:300;font-display:block;src:url(/_astro/IBMPlexSerif-Light.BYQ5Zb-N.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:italic;font-weight:300;font-display:block;src:url(/_astro/IBMPlexSerif-LightItalic.CrwG5WcI.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:normal;font-weight:500;font-display:block;src:url(/_astro/IBMPlexSerif-Medium.B8UUud-v.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:italic;font-weight:500;font-display:block;src:url(/_astro/IBMPlexSerif-MediumItalic.C5DvteEr.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:normal;font-weight:400;font-display:block;src:url(/_astro/IBMPlexSerif-Regular.DWOqxCeH.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:normal;font-weight:600;font-display:block;src:url(/_astro/IBMPlexSerif-SemiBold.x4utRd0V.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:italic;font-weight:600;font-display:block;src:url(/_astro/IBMPlexSerif-SemiBoldItalic.CXJOBbG4.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:normal;font-weight:450;font-display:block;src:url(/_astro/IBMPlexSerif-Text.3kws1iJA.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:italic;font-weight:450;font-display:block;src:url(/_astro/IBMPlexSerif-TextItalic.D6AvLSCb.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:normal;font-weight:100;font-display:block;src:url(/_astro/IBMPlexSerif-Thin.D-vpQ7uJ.otf) format("opentype")}@font-face{font-family:"IBM Plex Serif";font-style:italic;font-weight:100;font-display:block;src:url(/_astro/IBMPlexSerif-ThinItalic.IOHKq4X_.otf) format("opentype")}:root{--ds-colors-bg: #ffffff;--ds-colors-bg_raised: #ffffff;--ds-colors-bg_sunken: #f4f4f0;--ds-colors-bg_code: #f4f4f0;--ds-colors-fg: #0b0d10;--ds-colors-fg1: #0b0d10;--ds-colors-fg2: #5a5f66;--ds-colors-fg3: #9aa0a6;--ds-colors-fg_inverse: #ffffff;--ds-colors-border: #0b0d10;--ds-colors-border_heavy: #0b0d10;--ds-colors-border_soft: #cfd2d7;--ds-colors-border_subtle: #e6e8ec;--ds-colors-accent: #1756e0;--ds-colors-accent_hover: #0f42b8;--ds-colors-accent_deep: #0b3a9e;--ds-colors-accent_soft: #e6edff;--ds-colors-accent_ink: #0b2664;--ds-colors-link: #1756e0;--ds-colors-link_hover: #0f42b8;--ds-colors-link_visited: #5a3a9e;--ds-colors-success: #1e7a3a;--ds-colors-warning: #a76a00;--ds-colors-danger: #b02020;--ds-colors-info: #1756e0;--ds-fonts-sans: IBM Plex Sans;--ds-fonts-mono: IBM Plex Mono;--ds-fonts-serif: IBM Plex Serif;--ds-sizes-print-xxs: 9.33px;--ds-sizes-print-xs: 11px;--ds-sizes-print-sm: 13px;--ds-sizes-print-base: 15px;--ds-sizes-print-md: 17px;--ds-sizes-print-lg: 20px;--ds-sizes-print-xl: 26px;--ds-sizes-print-xxl: 34px;--ds-sizes-print-xxxl: 46px;--ds-sizes-print-xxxx: 64px;--ds-sizes-slides-xxs: 10.67px;--ds-sizes-slides-xs: 14.67px;--ds-sizes-slides-sm: 17.33px;--ds-sizes-slides-base: 20px;--ds-sizes-slides-md: 22.67px;--ds-sizes-slides-lg: 26.67px;--ds-sizes-slides-xl: 34.67px;--ds-sizes-slides-xxl: 45.33px;--ds-sizes-slides-xxxl: 61.33px;--ds-sizes-slides-xxxx: 85.33px;--ds-leading-print-tight: .1em;--ds-leading-print-snug: .3em;--ds-leading-print-normal: .55em;--ds-leading-print-relaxed: .7em;--ds-leading-slides-tight: 1.1;--ds-leading-slides-snug: 1.3;--ds-leading-slides-normal: 1.55;--ds-leading-slides-relaxed: 1.7;--ds-tracking-tight: -.02em;--ds-tracking-normal: 0em;--ds-tracking-wide: .04em;--ds-tracking-label: .1em;--ds-weight-regular: 400;--ds-weight-medium: 500;--ds-weight-semibold: 600;--ds-weight-bold: 700;--ds-space-sp0: 0px;--ds-space-sp1: 5.33px;--ds-space-sp2: 10.67px;--ds-space-sp3: 16px;--ds-space-sp4: 21.33px;--ds-space-sp5: 32px;--ds-space-sp6: 42.67px;--ds-space-sp7: 64px;--ds-space-sp8: 85.33px;--ds-space-sp9: 128px;--ds-radius-flat: 0px;--ds-radius-sm: 0px;--ds-radius-md: 2.67px;--ds-radius-lg: 2.67px;--ds-border_width-bw1: 1.33px;--ds-border_width-bw2: 2.67px;--ds-border_width-bw3: 4px;--ds-shadow-flat: none;--ds-shadow-sm: none;--ds-shadow-md: none;--ds-layout-content_width: 960px;--ds-layout-content_wide: 1280px;--ds-layout-content_max: 1600px;--ds-motion-fast: .1s;--ds-motion-med: .18s;--ds-motion-ease: cubic-bezier(.2, 0, 0, 1)}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2) format("woff2"),url(/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff) format("woff"),url(/_astro/KaTeX_AMS-Regular.DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2) format("woff2"),url(/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff) format("woff"),url(/_astro/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2) format("woff2"),url(/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff) format("woff"),url(/_astro/KaTeX_Caligraphic-Regular.wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2) format("woff2"),url(/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff) format("woff"),url(/_astro/KaTeX_Fraktur-Bold.BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2) format("woff2"),url(/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff) format("woff"),url(/_astro/KaTeX_Fraktur-Regular.CB_wures.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Main-Bold.Cx986IdX.woff2) format("woff2"),url(/_astro/KaTeX_Main-Bold.Jm3AIy58.woff) format("woff"),url(/_astro/KaTeX_Main-Bold.waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2) format("woff2"),url(/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff) format("woff"),url(/_astro/KaTeX_Main-BoldItalic.DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2) format("woff2"),url(/_astro/KaTeX_Main-Italic.BMLOBm91.woff) format("woff"),url(/_astro/KaTeX_Main-Italic.3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Main-Regular.B22Nviop.woff2) format("woff2"),url(/_astro/KaTeX_Main-Regular.Dr94JaBh.woff) format("woff"),url(/_astro/KaTeX_Main-Regular.ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2) format("woff2"),url(/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff) format("woff"),url(/_astro/KaTeX_Math-BoldItalic.B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Math-Italic.t53AETM-.woff2) format("woff2"),url(/_astro/KaTeX_Math-Italic.DA0__PXp.woff) format("woff"),url(/_astro/KaTeX_Math-Italic.flOr_0UB.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2) format("woff2"),url(/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff) format("woff"),url(/_astro/KaTeX_SansSerif-Bold.CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2) format("woff2"),url(/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff) format("woff"),url(/_astro/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2) format("woff2"),url(/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff) format("woff"),url(/_astro/KaTeX_SansSerif-Regular.BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2) format("woff2"),url(/_astro/KaTeX_Script-Regular.D5yQViql.woff) format("woff"),url(/_astro/KaTeX_Script-Regular.C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2) format("woff2"),url(/_astro/KaTeX_Size1-Regular.C195tn64.woff) format("woff"),url(/_astro/KaTeX_Size1-Regular.Dbsnue_I.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2) format("woff2"),url(/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff) format("woff"),url(/_astro/KaTeX_Size2-Regular.B7gKUWhC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff) format("woff"),url(/_astro/KaTeX_Size3-Regular.DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2) format("woff2"),url(/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff) format("woff"),url(/_astro/KaTeX_Size4-Regular.DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2) format("woff2"),url(/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff) format("woff"),url(/_astro/KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.17.0"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}