@import "https://fonts.googleapis.com/css2?family=Alegreya+SC:ital,wght@0,400;0,500;0,700;0,800;0,900;1,400;1,500;1,700;1,800;1,900&family=Alegreya:ital,wght@0,400..900;1,400..900&family=Courier+Prime:ital,wght@0,400;0,700;1,400;1,700&display=swap";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{font-size:100%;font:inherit;vertical-align:baseline;border:0;padding:0}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:""}table{border-collapse:collapse;border-spacing:0}:root{--font-family:"Alegreya", serif;--font-family-code:"Courier Prime", monospace;--line-height:1.2rem;--prose-line-height:1.3;--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-variant-numeric:oldstyle-nums;font-feature-settings:"onum";font-size:17px;font-style:normal}*{box-sizing:border-box}*+*{margin-top:var(--line-height)}html{background:var(--background-color);width:100%;color:var(--text-color);flex-direction:column;align-items:flex-start;margin:0;padding:0;display:flex}body{width:100%;padding:var(--line-height) var(--horizontal-margin) calc(var(--line-height) * 4);max-width:var(--body-max-width);line-height:var(--line-height);margin:0;position:relative;overflow-x:hidden}body.page-post{--body-inner-width:92ch}main{width:100%;min-height:100vh}@media screen and (width>=112ch){html{align-items:center}}@media screen and (width<=720px){:root{font-size:14px}body{padding:0 1.5ch calc(var(--line-height) * 3)}main{min-height:auto}header{margin:0 0 calc(var(--line-height) * 1.5)}}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)}body h1,h2#toc-title{font-variant:titling-caps;text-transform:uppercase;letter-spacing:.15em;padding:var(--line-height) 0 calc(var(--line-height) - var(--border-thickness));border-bottom:var(--border-thickness) solid var(--text-color);font-family:Alegreya SC,serif;font-size:1.25rem;font-weight:400}h2{font-variant:all-small-caps;font-family:Alegreya SC,serif;font-size:1.25rem;font-weight:450;line-height:var(--line-height);letter-spacing:.125em}h3{margin:var(--line-height) 0;font-style:italic}header{margin:calc(var(--line-height) * 2) 0}header h1{font-variant:all-small-caps;letter-spacing:.05em;font-family:Alegreya SC,serif;font-size:2.5rem;font-weight:500;line-height:calc(2 * var(--line-height));border-bottom:none;margin:0;padding-bottom:0}header p{text-indent:0;text-align:left}.home-contact{margin-top:calc(var(--line-height) * .35);font-size:.9rem;line-height:var(--line-height);flex-wrap:wrap;gap:0 .6ch;display:flex}.home-contact>*{margin-top:0}a{text-decoration-thickness:var(--border-thickness)}a:link,a:visited{color:var(--text-color)}p{margin:var(--line-height) 0 0;line-height:var(--prose-line-height);text-align:justify;overflow-wrap:break-word;word-break:normal;text-wrap:pretty;hyphens:auto;hyphenate-limit-chars:3}p+p{margin-top:var(--line-height);text-indent:0}.article-body p:has(>img:only-child),.article-body p:has(>picture:only-child),.article-body p:has(>video:only-child){margin-top:calc(var(--line-height) * 2);text-indent:0;text-align:left}.article-body p:has(>img:only-child)+p,.article-body p:has(>picture:only-child)+p,.article-body p:has(>video:only-child)+p{margin-top:var(--line-height);text-indent:0}h1+p,h2+p,h3+p,h4+p,hr+p{text-indent:0}mjx-container,mjx-container *{margin-top:0!important}mjx-container{text-indent:0}mjx-container[display=true]{text-align:center;display:block;overflow:auto hidden;margin:calc(var(--line-height) * 1.5) 0!important}.inline-math-cluster{white-space:nowrap}strong{font-weight:var(--font-weight-bold)}em{font-style:italic}abbr{font-variant:all-small-caps;letter-spacing:.05em;font-size:1.125em;font-weight:500}sub{vertical-align:sub;width:1.33333ch;margin:0;font-size:.75rem;line-height:0;display:inline-block;position:relative}img,video{object-fit:contain;width:100%;display:block;overflow:hidden}img{color:var(--text-color);font-style:italic}pre{margin:var(--line-height) 0;padding:calc(var(--line-height) * .75) 1.25ch;white-space:pre-wrap;word-break:break-word;overflow-x:auto}pre,code{font-family:var(--font-family-code);font-weight:450}code{letter-spacing:-.025em;font-size:.95em}ul,ol{margin:0 0 var(--line-height);padding:0}ul{list-style-type:none}ul li:before{content:"•";margin-right:1ch}ol{counter-reset:item;list-style-type:none}ol li:before{content:counters(item, ".") ". ";counter-increment:item;font-size:.875rem;font-weight:500}ol ul,ol ol,ul ol,ul ul{margin:0;padding:0 0 0 2ch}li{margin:0;padding:0}li>*{margin-top:0}li::marker{line-height:0}blockquote{margin:var(--line-height) 3ch;padding:0}blockquote p{text-indent:0;white-space:normal}blockquote p:first-of-type:before{content:"“";display:inline}blockquote p:last-of-type:after{content:"”";display:inline}aside{font-size:.875rem;line-height:var(--line-height);margin:var(--line-height) 0;align-items:flex-start;gap:.5ch;display:flex;position:relative}aside:before{content:"❧";height:.875rem;font-size:1rem;line-height:var(--line-height);flex:none;margin-right:0;display:inline-block}aside>:first-child{margin-top:0}@media screen and (width>=95ch){aside{width:20ch;top:anchor(top);text-align:left;margin:0;padding-left:3ch;display:block;position:absolute;left:100%}aside:before{display:none}p+aside+p{margin-top:var(--line-height);text-indent:0}}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);cursor:pointer;font-style:italic}details[open] summary{margin-bottom:var(--line-height)}details ::marker{content:""}details summary:before{content:"»";margin:0 .5ch 0 0;font-style:normal;display:inline-block}details[open] summary:before{transform:rotate(90deg)}figure{margin:calc(var(--line-height) * 2) var(--horizontal-margin);overflow:auto hidden}figure>:first-child,.article-body>:first-child{margin-top:0}figure>:last-child{margin-bottom:0}figcaption{margin-top:var(--line-height);display:block}table{border-collapse:collapse;width:100%;margin:calc(var(--line-height) * -.5) 0 calc(var(--line-height) * 1.5);padding:0}th,td{padding:calc(var(--line-height) / 2) .5ch;line-height:var(--line-height);vertical-align:top;text-align:left}th{font-variant:all-small-caps;letter-spacing:.075em;font-size:1.125em;font-weight:500}thead tr:last-child th{border-bottom:var(--border-thickness) solid var(--text-color)}hr{height:var(--line-height);margin:calc(var(--line-height) * 1.5) 0;color:var(--text-color);border:none;display:block;position:relative}hr:before{content:"";top:calc(var(--line-height) / 2);border-top:var(--border-thickness) solid var(--text-color);width:100%;height:0;display:block;position:absolute;left:0}hr:after{content:"❧";text-align:center;background:var(--background-color);width:2ch;font-size:2rem;display:inline-block;position:absolute;top:0;left:calc(50% - 1ch)}.toc-list,.entry-list{padding:0}.entry-list{row-gap:calc(var(--line-height) * .33);display:grid}.toc-list li:before,.entry-list li:before{content:none;display:none}.toc-list a,.entry-list a{min-height:var(--line-height);text-decoration:none;display:block}.toc-list a:hover,.entry-list a:hover,.back-link a:hover{text-decoration:underline}.entry-list li{grid-template-columns:minmax(0,1fr) auto;align-items:baseline;column-gap:2ch;margin-top:0;display:grid}.entry-list li>*{margin-top:0}.entry-meta{white-space:nowrap;text-align:right;font-style:italic}.entry-meta-detail{color:#0000008c}.entry-meta-trail{grid-auto-flow:column;align-items:baseline;column-gap:1.5ch;display:inline-grid}.entry-meta-trail>*{margin-top:0}.entry-list-running li{grid-template-columns:4ch minmax(0,1fr) auto;column-gap:1.5ch}.entry-list-writing li{grid-template-columns:4ch minmax(0,1fr);column-gap:1.5ch}.entry-year{text-align:left;white-space:nowrap}.contribution-card{margin:var(--line-height) 0 0}.contribution-grid-wrap{padding-bottom:calc(var(--line-height) * .2);overflow:hidden}.contribution-grid{gap:.3rem;min-width:100%;display:inline-flex}.contribution-axis{gap:.3rem;min-width:100%;margin-top:.45rem;display:inline-flex}.contribution-week{grid-template-rows:repeat(7,.7rem);gap:.3rem;margin-top:0;display:grid}.contribution-week.is-hidden{display:none}.contribution-month{white-space:nowrap;width:.7rem;margin-top:0;font-size:.7rem;line-height:1;display:block}.contribution-month.is-hidden{display:none}.contribution-cell{border:1px solid var(--text-color);background:0 0;width:.7rem;height:.7rem;margin-top:0;display:block}.contribution-cell.is-first_quartile{background:#0003}.contribution-cell.is-second_quartile{background:#0006}.contribution-cell.is-third_quartile{background:#000000a6}.contribution-cell.is-fourth_quartile{background:#000000e6}.contribution-cell.is-future{opacity:.3;border-style:dashed}.back-link{text-indent:0;text-align:left;margin-top:0}.back-link a{text-decoration:none}.post-header{margin:calc(var(--line-height) * .85) 0 var(--line-height)}.post-header p{margin-top:calc(var(--line-height) * .4);padding-bottom:calc(var(--line-height) - var(--border-thickness));border-bottom:var(--border-thickness) solid var(--text-color)}.post-header+.article-body,.post-header+.article-body>:first-child{margin-top:0}@media screen and (width<=720px){.entry-list{row-gap:calc(var(--line-height) * .5)}.entry-list li{grid-template-columns:minmax(0,1fr) max-content;align-items:start;column-gap:1ch}.entry-meta{text-align:right}.entry-list-running li{grid-template-columns:4ch minmax(0,1fr) max-content}.entry-list-writing li{grid-template-columns:4ch minmax(0,1fr)}}