html,body,div,span,applet,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre,a,abbr,acronym,address,big,cite,code,del,dfn,em,img,ins,kbd,q,s,samp,small,strike,strong,sub,sup,tt,var,b,u,i,center,dl,dt,dd,ol,ul,li,fieldset,form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td,article,aside,canvas,details,embed,figure,figcaption,footer,header,hgroup,menu,nav,output,ruby,section,summary,time,mark,audio,video{padding:0;border:0;font-size:100%;font:inherit;vertical-align:baseline}article,aside,details,figcaption,figure,footer,header,hgroup,menu,nav,section{display:block}body{line-height:1}ol,ul{list-style:none}blockquote,q{quotes:none}blockquote:before,blockquote:after,q:before,q:after{content:"";content:none}table{border-collapse:collapse;border-spacing:0}:root{--font-family:sans-serif;--font-family-code:"Courier Prime",monospace;--line-height:1.20rem;--border-thickness:1.5px;--text-color:#000;--background-color:#fff;--horizontal-margin:3ch;--body-inner-width:66ch;--body-max-width:calc(var(--body-inner-width) + var(--horizontal-margin)*2);--font-weight-normal:450;--font-weight-medium:600;--font-weight-bold:800;font-family:var(--font-family);font-optical-sizing:auto;font-weight:var(--font-weight-normal);font-style:normal;font-variant-numeric:oldstyle-nums;font-feature-settings:"onum";font-size:14px}*{box-sizing:border-box}*+*{margin-top:var(--line-height)}h1,h2,h3,h4,h5,h6{font-weight:var(--font-weight-normal);margin:calc(var(--line-height)*2) 0 var(--line-height);line-height:var(--line-height)}.header-section-number{font-family:"Alegreya",serif;font-size:.875rem;font-weight:500;font-variant:initial;letter-spacing:0;margin-right:.5ch;font-style:normal}body h1,h2#toc-title{font-family:"Alegreya SC",serif;font-variant:titling-caps;font-size:1.25rem;font-weight:400;text-transform:uppercase;letter-spacing:0.15em;padding:var(--line-height) 0 calc(var(--line-height) - var(--border-thickness));border-bottom:var(--border-thickness) solid var(--text-color)}h1 .header-section-number{display:none}h2{font-family:"Alegreya SC",serif;font-size:1.25rem;font-variant:all-small-caps;font-weight:450;line-height:var(--line-height);letter-spacing:0.125em}h3{font-style:italic;margin:var(--line-height) 0}h4{}table{width:100%;border-collapse:collapse;margin:1rem 0 1rem;padding:0}th,td{padding:calc(var(--line-height)/2) .5ch;line-height:var(--line-height);vertical-align:top;text-align:left}th{font-size:1.125em;font-variant:all-small-caps;font-weight:500;letter-spacing:0.075em}thead tr:last-child th{border-bottom:var(--border-thickness) solid var(--text-color)}blockquote{padding:0;margin:var(--line-height) 3ch}blockquote p{text-indent:0;white-space:normal}blockquote p:first-of-type:before{display:inline;content:"\201c"}blockquote p:last-of-type::after{display:inline;content:"\201d"}blockquote footer{order:9999;margin-top:var(--line-height);font-style:normal}blockquote footer>*{margin:0}blockquote .author{font-family:"Alegreya SC",serif;font-size:1.125em;font-variant:all-small-caps;font-weight:450;line-height:var(--line-height);letter-spacing:0.075em;height:1rem;line-height:1rem}blockquote cite{font-style:italic;margin:0;line-height:var(--line-height)}blockquote .year{display:block}details{margin:var(--line-height) 0;border-top:var(--border-thickness) solid var(--text-color);border-bottom:var(--border-thickness) solid var(--text-color);padding:var(--line-height) 0}summary{font-weight:var(--font-weight-normal);font-style:italic;cursor:pointer}details[open] summary{margin-bottom:var(--line-height)}details ::marker{content:""}details summary::before{display:inline-block;content:"\bb";margin:0 .5ch 0 0;font-style:normal}details[open] summary::before{transform:rotate(90deg)}details :last-child{margin-bottom:0}aside{position:relative;font-size:0.875rem;line-height:var(--line-height);margin:var(--line-height) 0}aside:before{display:inline-block;content:"\2767";font-size:1rem;height:.875rem;margin-right:.5ch;line-height:var(--line-height)}@media screen and (min-width:95ch){aside{position:absolute;width:20ch;top:anchor(top);left:100%;margin:0;text-align:left}aside:before{display:none}p+aside+p{margin-top:0;text-indent:3ch}}figure{margin:calc(var(--line-height)*2) var(--horizontal-margin);overflow-x:auto;overflow-y:hidden}figure>*:first-child{margin-top:0}figure>*:last-child{margin-bottom:0}figcaption{display:block;margin-top:var(--line-height)}figcaption .author{font-family:"Alegreya SC",serif;font-size:1.125em;font-variant:all-small-caps;font-weight:450;line-height:var(--line-height);letter-spacing:0.075em;height:1rem;line-height:1rem}figcaption cite{font-style:italic;margin:0;line-height:var(--line-height)}figure pre{margin:0}hr{position:relative;display:block;height:var(--line-height);margin:calc(var(--line-height)*1.5) 0;border:none;color:var(--text-color)}hr:before{display:block;content:"";position:absolute;top:calc(var(--line-height)/2);left:0;width:100%;border-top:var(--border-thickness) solid var(--text-color);height:0}hr:after{display:inline-block;content:"\27B0";position:absolute;top:0;left:calc(50% - 1ch);width:2ch;text-align:center;font-size:1.2rem;background:var(--background-color)}p{margin:var(--line-height) 0 0;text-align:justify;word-break:break-all}p+p{margin-top:0;text-indent:3ch}h1+p,h2+p,h3+p,h4+p,hr+p{text-indent:0}strong{font-weight:var(--font-weight-bold)}em{font-style:italic}abbr{font-size:1.125em;font-variant:all-small-caps;font-weight:500;letter-spacing:0.05em}sub{position:relative;display:inline-block;margin:0;vertical-align:sub;line-height:0;width:calc(1ch/0.75);font-size:.75rem}p{word-break:break-word;text-wrap:pretty;hyphens:auto;hyphenate-limit-chars:3}img,video{display:block;object-fit:contain;overflow:hidden}img{font-style:italic;color:var(--text-color)}pre{white-space:pre;margin:var(--line-height) 0;overflow-x:auto;white-space:pre-wrap;word-break:break-all}pre,code{font-family:var(--font-family-code);font-weight:450}code{font-size:.95em;letter-spacing:-0.025em}ul,ol{padding:0;margin:0 0 var(--line-height)}ul{list-style-type:none;padding:0}ul li:before{content:"\2022";margin-right:1ch}ol{list-style-type:none;counter-reset:item;padding:0}ol ul,ol ol,ul ol,ul ul{padding:0 0 0 2ch;margin:0}ol li:before{font-size:.875rem;font-weight:500;content:counters(item,".") ". ";counter-increment:item}li{margin:0;padding:0}li::marker{line-height:0}html{display:flex;width:100%;margin:0;padding:0;flex-direction:column;align-items:flex-start;justify-content:left;background:var(--background-color);color:var(--text-color)}body{position:relative;width:100%;margin:0;padding:var(--line-height) var(--horizontal-margin);max-width:var(--body-max-width);line-height:var(--line-height);overflow-x:hidden}@media screen and (min-width:112ch){html{align-items:center}}@media screen and (max-width:480px){:root{font-size:14px}body{padding:var(--line-height) 1.5ch}}.toc-section-number{height:1rem;font-size:.875rem;font-weight:500;letter-spacing:0;margin-right:.5ch;font-style:normal}#TOC>ul{padding:0}#TOC ul li:before{content:"";margin:0}#TOC a{display:block;height:var(--line-height);text-decoration:none}#TOC a:hover{text-decoration:underline}@media print{body{max-width:initial}body>h1,img{break-before:page}}header{margin:calc(var(--line-height)*3) 0}header h1{font-family:"Alegreya SC",serif;font-variant:all-small-caps;font-size:2.5rem;font-weight:500;letter-spacing:0.05em;line-height:calc(2*var(--line-height));margin:0;padding-bottom:0;border-bottom:none}header .subtitle{font-size:1.25rem;line-height:calc(2*var(--line-height));margin:calc(var(--line-height)*.5) 0}header p{text-indent:0;text-align:left}.canonical-name{font-family:"Alegreya SC",serif;font-size:1.125em;font-variant:all-small-caps;font-weight:450;line-height:var(--line-height);letter-spacing:0.075em}:root{--ink:#27241f;--ink-dim:#6b6255;--rule:#ddd5c4;--accent:#7a3b2e}body{color:var(--ink)}a{color:var(--ink)}a:hover{color:var(--accent)}header .tagline{margin:0.5rem 0 0.5rem;color:var(--ink-dim);font-style:italic;font-size:0.90rem}nav{font-variant:small-caps;letter-spacing:0.06em;font-size:0.95rem}nav a{color:var(--ink);padding-right:0.5rem}span.tag{display:none}ul.posts{list-style:none;margin:0;padding:0}ul.posts li{display:flex;gap:1.4em;padding:0.85em 0;border-bottom:1px solid var(--rule);align-items:baseline}ul.posts li:first-child{border-top:1px solid var(--rule)}ul.posts time{flex:0 0 8.5rem;color:var(--ink-dim);font-variant-numeric:oldstyle-nums;font-size:0.8rem}ul.posts .entry{display:flex;flex-direction:column;gap:0.3em;min-width:0}ul.posts a{color:var(--ink);border-bottom:1px solid transparent}ul.posts a:hover{color:var(--accent)}ul .no-bullet{list-style-type:none;padding:0;margin:0}.tags-line{font-size:0.82rem;color:var(--ink-dim);font-style:italic;margin-top:0rem}p.tags-line a{color:var(--ink-dim);text-decoration:none}.tags-line a:hover{color:var(--accent)}footer{margin-bottom:1rem}.theorem:before{counter-increment:theorem;content:"Theorem " counter(theorem) ". ";font-weight:bold;font-style:normal}.theorem{display:block;margin:12px 0;font-style:italic}.lemma{display:block;margin:12px 0;font-style:italic}.lemma:before{counter-increment:theorem;content:"Lemma " counter(theorem) ". ";font-weight:bold;font-style:normal}.ex{display:block;margin:12px 0;font-style:italic}.ex:before{counter-increment:theorem;content:"Example " counter(theorem) ". ";font-weight:bold;font-style:normal}.definition{display:block;margin:12px 0;font-style:normal}.definition:before{counter-increment:theorem;content:"Definition " counter(theorem) ". ";font-weight:bold;font-style:normal}.proof{display:block;margin-left:10px;margin-bottom:30px;font-style:normal;padding-bottom:1rem}.proof:before{content:'Proof.\00a0\00a0';float:left;font-weight:bold}.proof:after{content:"\25A1";float:right}.proposition{display:block;margin:12px 0;font-style:italic}.proposition:before{counter-increment:theorem;content:"Proposition " counter(theorem) ". ";font-weight:bold;font-style:normal}.corollary{display:block;margin:12px 0;font-style:italic}.corollary:before{counter-increment:theorem;content:"Corollary " counter(theorem) ". ";font-weight:bold;font-style:normal}body{counter-reset:theorem}math[display="block"]{margin:1rem 0 1rem}.latexfragment{display:flex;justify-content:center;align-items:center;margin:1rem 0 1rem}.gallery{display:grid;grid-template-columns:repeat(auto-fit,minmax(210px,1fr));grid-gap:20px;width:100%}.gallery-item{overflow:hidden;border-radius:8px;box-shadow:0 0 10px rgba(0,0,0,0.2);max-width:100%;padding:10px;word-wrap:break-word}.gallery-item img{max-height:50vh;max-width:95%;margin-left:auto;margin-right:auto;display:block;border-radius:8px}.prev-next{margin-bottom:1rem}@media (max-width:768px){.gallery{flex-direction:column;grid-template-columns:1fr;width:100%}.gallery-item{overflow:auto;border-radius:8px;box-shadow:0 0 10px rgba(0,0,0,0.2);padding:10px;width:95%;word-wrap:break-word}.gallery-item img{max-width:80vw;max-height:80vh;display:block;margin:auto}.gallery-item h3{text-align:center}}.container{display:flex;box-shadow:0 0 10px rgba(0,0,0,0.2);border-radius:8px;width:100%;margin-bottom:20px;align-items:flex-start;padding:10px}.image-section img{max-width:95%;max-height:50vh;border-radius:8px;margin-left:auto;margin-right:auto}.text-section{margin-left:20px;max-width:400px;display:flex;flex-direction:column}.text-section h2{font-size:24px;margin-bottom:10px}.text-section p{margin:5px 0}.text-section a{text-decoration:none}.text-section img{display:block;margin-left:auto;margin-right:auto}.additional-section{box-shadow:0 0 10px rgba(0,0,0,0.2);border-radius:8px;width:100%;text-align:center;padding:10px}@media (max-width:768px){.container{flex-direction:column;align-items:center}.text-section{margin-left:0;margin-top:10px;text-align:left;align-items:left}}img.rounded-corners{border-radius:300px}.two-cols{display:flex;justify-content:space-between;gap:20px}.column-left{flex:3;border-radius:8px}.column-right{flex:1;display:flex;flex-direction:column;gap:10px}.image{width:100%;border-radius:8px;box-shadow:0 4px 8px rgba(0,0,0,0.2)}@media (max-width:768px){.two-cols{display:block;justify-content:space-between;gap:20px}.column-left{padding:20px;border-radius:8px}.column-right{gap:10px}.column-right img{margin-left:auto;margin-right:auto}.container{flex-direction:column}}