html{box-sizing:border-box}*,*::before,*::after{box-sizing:inherit}html{scroll-behavior:smooth}body{color:var(--fg);background-color:var(--bg);font-size:21px;font-family:var(--font-body);font-variant-numeric:oldstyle-nums;font-display:block;line-height:1.4;text-align:justify;text-justify:inter-word;hyphens:auto;text-rendering:optimizeLegibility;margin:0;display:-webkit-flex;-webkit-flex-flow:row wrap;display:-ms-flexbox;-ms-flex-flow:row wrap}.text-space{display:inline-block;width:75%}@media (max-width:767px){body>.text-space{width:100%}}span.small-caps{font-variant:small-caps}div#content{margin-right:1em;max-width:720px;max-width:60rem}@media (min-width:1367px){body{width:82%;padding-right:18%;margin-left:auto;margin-right:auto}}@media (max-width:1366px){body{width:87%;padding-right:13%;max-width:960px;margin-right:3em;font-size:19px}}@media (max-width:960px){body{width:100%;padding-right:0%;margin-right:0;text-align:left}}div.csl-left-margin{display:inline}div.csl-right-inline{display:inline}div#refs td{vertical-align:top}div#refs{text-align:left}div#border-table table tr{vertical-align:top;text-align:left}div#border-table table{border-collapse:collapse;width:100%}div#border-table table th,div#border-table table td{padding:8px;text-align:left;border:1px solid #ddd}div#border-table table th{background-color:var(--table-head);font-weight:bold;font-style:normal}pre{text-align:left;font-size:0.85em;font-family:var(--font-code);font-variant-numeric:normal;white-space:pre;overflow-x:auto;overflow-y:hidden;background:var(--bg-inline-code);border:1px solid var(--border-inline-code);border-radius:0;padding:1rem 0;margin:1rem 0;line-height:1.4}code{font-size:0.87em;font-family:var(--font-code);font-variant-numeric:normal;background:var(--bg-inline-code);border-radius:0;padding:0.125rem 0.25rem;border:1px solid var(--border-inline-code);word-break:break-word}pre code{background:none;border:none;padding:0;font-size:inherit;border-radius:0}blockquote{font-size:0.95em;border-left:4px solid var(--border-inline-code);margin:20px 0;padding-left:20px}.included{border-left:4px solid var(--border-inline-code);margin:20px 0;padding-left:20px;padding-bottom:0.4em}.katex{font-size:0.9em!important}.katex-display{font-size:1.1em!important}div#footer{border-top:solid 1px var(--fg-footer-divider);color:var(--fg-footer-pipe);font-size:0.78em;margin-top:30px;padding:9px 1em 12px 1em;text-align:right;max-width:50rem}hr{display:block;height:1px;border:0;border-top:1px solid var(--fg-footer-divider);margin:1em 0;padding:0}img.center-block-light{margin-right:auto;margin-left:auto;max-width:100%;height:auto;padding:1.5rem 1.5rem 1rem 1.5rem;display:block}img.center-block-dark{margin-right:auto;margin-left:auto;max-width:100%;height:auto;padding:1.5rem 1.5rem 1rem 1.5rem;display:none}@media (prefers-color-scheme:dark){img.center-block-light{display:none}img.center-block-dark{display:block}}.header{font-size:0.95em;text-align:left;margin:1em 0}h1{margin-top:1rem;margin-bottom:1.5rem;font-size:1.5em;font-family:var(--font-headings);font-variant-numeric:normal;font-weight:normal;word-spacing:0.1em;letter-spacing:0.02em;text-transform:capitalize}h2{font-size:1.25em;margin-top:2.1rem;margin-bottom:1.4rem}h3{font-size:0.9em;margin-top:2rem;margin-bottom:1.4rem}h4{font-size:0.85em}h5{font-size:0.8em;line-height:1}h2,h3,h4{font-family:var(--font-headings);line-height:1.2}div#contents,div#contents-big{font-size:90%;font-family:var(--font-body);padding-top:0.25em;max-width:240px;max-width:15rem;max-width:30%;min-width:25%;min-width:180px;text-align:left}div#contents ul,div#contents-big ul{font-size:85%;margin-top:0.5em;margin-bottom:0.5em;padding-left:0;line-height:1.2;list-style-type:none;margin-left:0}div#contents li+li,div#contents-big li+li{margin-top:0.5em}.mini-header{font-weight:bold;margin-bottom:0.5em}div#contents ul ul,div#contents-big ul ul{padding-left:1.5em}div#contents-big a:link,div#contents a:link{font-size:110%;color:var(--fg);text-decoration:none}div#contents-big a:hover,div#contents a:hover{color:var(--fg-link-hover)}div#contents-big>ul>li>a:link,div#contents>ul>li>a:link{font-size:100%;word-spacing:0.06em;letter-spacing:0.02em;font-variant:small-caps}a:link>code{font-variant:normal}a#up-arrow{float:right;font-size:0.9em;margin-right:0.5em}div#contents-big{clear:both;margin-right:1.7em;margin-left:0.25em;position:sticky;top:0;left:100%}@media (max-width:1366px){div#contents-big{padding-left:1.25em}}div#contents{padding-bottom:0.25em;padding-left:0.5em;padding-right:0.5em;margin-left:0.75em;margin-bottom:0.75em;float:right;position:static}@media (min-width:769px){div#contents{position:fixed;visibility:hidden}}@media (max-width:768px){div#contents-big{position:fixed;visibility:hidden}}a:hover{color:var(--fg-link-hover);opacity:0.8}.floatright{float:right;font-variant:normal;font-size:15px}a.invis:link{color:var(--fg)}a.invis:visited{color:var(--fg)}a#to-top{font-variant:small-caps;float:left;position:static;font-size:16px;margin-top:-2px}@media (min-width:769px){a#to-top{position:fixed;visibility:hidden}}.local-link::after{content:"°";margin-left:1px}.floatleft{float:left;margin-left:-20px;padding-left:20px;padding-right:6px;font-variant:normal;font-size:0.8em;line-height:1.5}:is(h1,h2,h3,h4,h5,h6) .sec-link{text-decoration:none;color:var(--fg-sec-link);visibility:hidden}:is(h1,h2,h3,h4,h5,h6):hover .sec-link{visibility:visible}summary{padding-top:1rem;display:block;padding-left:2.2rem;position:relative;cursor:pointer}summary:before{content:"";border-width:0.4rem;border-style:solid;border-color:transparent transparent transparent var(--fg);position:absolute;top:1.5rem;left:1rem;transform:rotate(0);transform-origin:0.2rem 50%;transition:0.25s transform ease}details[open]>summary:before{transform:rotate(90deg)}details{border-left:4px solid var(--border-inline-code);margin:20px 0;padding-left:20px;padding-bottom:0.4em}span.email b{display:none}abbr[title]{border-bottom:none;text-decoration:1px underline dotted}img{max-width:100%;height:auto}.fourgrid{display:grid;grid-template-columns:auto auto auto auto}h1,h2,h3,h4,h5,h6{color:var(--fg)}a{color:var(--fg-link);text-decoration:none}a:hover{color:var(--fg-link-hover)}footer{color:var(--fg-sec-link)}.post-meta,.post-date,.read-time{color:var(--fg-sec-link)}.theme-switcher{position:fixed;bottom:20px;right:20px;z-index:1000}.theme-cycle-btn{background-color:var(--bg-inline-code);color:var(--fg-link);border:1px solid var(--border-inline-code);border-radius:6px;padding:8px 12px;font-size:14px;font-family:var(--font-code);font-weight:500;cursor:pointer;transition:all 0.2s ease;box-shadow:0 2px 8px rgba(0,0,0,0.1);min-width:70px;text-align:center}.theme-cycle-btn:hover{background-color:var(--fg-link);color:var(--bg);transform:translateY(-1px);box-shadow:0 4px 12px rgba(0,0,0,0.15)}.theme-cycle-btn:active{transform:translateY(0);box-shadow:0 2px 4px rgba(0,0,0,0.1)}*{transition:background-color 0.3s ease,color 0.3s ease,border-color 0.3s ease}@media (max-width:768px){.theme-switcher{bottom:15px;right:15px}.theme-cycle-btn{font-size:13px;padding:6px 10px}}blockquote{background-color:rgba(50,50,50,0.4);border-left:3px solid rgba(184,138,0,0.5);margin:1.5rem 0;padding:0.5rem 1rem}p,li{text-align:justify;hyphens:auto;-webkit-hyphens:auto;-ms-hyphens:auto}body{line-height:1.6}.markdownBody{--text-alignment:justify;--text-indent:2.5em;--text-hyphenation:auto;--float-side-margin:2em;--base-block-spacing:0.25em;overflow-wrap:break-word;font-variant-numeric:oldstyle-nums;--line-height:1.60;line-height:var(--line-height)}.post-title,.post-title a{}h1.post-title{text-align:left!important;font-family:var(--font-body)!important;font-style:italic}pre{padding:1.5rem!important}