:root{--content-width:min(60vw,120ch);--content-padding:min(5vw,10ch);--sidenote-width:min(30vw,60ch);--sidenote-content-gap:0.5vw;--sidenote-right-margin:calc(-1*var(--sidenote-content-gap) - var(--sidenote-width) - var(--content-padding));--content-left-margin:calc(min(50vw - var(--content-width)/2, 100vw - var(--content-width) - var(--sidenote-width) - 2*var(--sidenote-content-gap)))}*,*::before,*::after{box-sizing:border-box}*{margin:0;padding:0;line-height:1.7}.backgroundpattern{z-index:-999;position:fixed;width:100vw;height:100vh;background-color:#b2b2bb;opacity:0.1;background-image:linear-gradient(30deg,#ffffff 12%,transparent 12.5%,transparent 87%,#ffffff 87.5%,#ffffff),linear-gradient(150deg,#ffffff 12%,transparent 12.5%,transparent 87%,#ffffff 87.5%,#ffffff),linear-gradient(30deg,#ffffff 12%,transparent 12.5%,transparent 87%,#ffffff 87.5%,#ffffff),linear-gradient(150deg,#ffffff 12%,transparent 12.5%,transparent 87%,#ffffff 87.5%,#ffffff),linear-gradient(60deg,#ffffff77 25%,transparent 25.5%,transparent 75%,#ffffff77 75%,#ffffff77),linear-gradient(60deg,#ffffff77 25%,transparent 25.5%,transparent 75%,#ffffff77 75%,#ffffff77);background-size:18px 32px;background-position:0 0,0 0,9px 16px,9px 16px,0 0,9px 16px}.debug{}p{margin-bottom:1.2ch}div#contents{background-color:#ffffff;color:black;margin-left:var(--content-left-margin);width:var(--content-width);padding-right:var(--content-padding);padding-left:var(--content-padding);font-size:1rem}div#header{border-bottom:2px solid black;margin-bottom:30px;padding:12px 0px 12px 0px;font-size:1.8rem}div#logo a{color:black;float:left;font-size:1.8rem;font-weight:bold;text-decoration:none}div#header #navigation{text-align:right}div#header #navigation a{color:black;font-size:1.8rem;font-weight:bold;margin-left:12px;text-decoration:none;text-transform:uppercase}div#footer{border-top:solid 2px black;color:#555;font-size:0.65em;margin-top:30px;padding:12px 0px 12px 0px;text-align:right}span.katex-display{overflow-x:auto;overflow-y:hidden}ol{padding-left:40px;padding-top:10px;padding-bottom:10px}ul{padding-left:40px;padding-top:10px;padding-bottom:10px}h1{font-size:1.4em;line-height:2.5em;padding-top:0.5em}h2{font-size:1.2em;line-height:2.5em;padding-top:0.5em}h3{font-size:1.1em;line-height:2.5em;padding-top:0.5em}div.info{color:#555;font-size:0.85em;font-style:italic}img#imgexpandtoborder{max-width:100%;max-height:100%}ul#post-summary-list{list-style-type:none;padding:0}h3#post-summary-name{font-size:1.1em}div#post-summary-date{margin-top:10px;color:rgb(136,136,136)}section#post-summary{line-height:1.2;margin-top:10px}ul#tool-list{list-style-type:none;padding:0}h3#tool-name{font-size:1.1em}section#tool-summary{line-height:1.2;margin-top:10px}div.sourceCode{padding:12px;background-color:rgb(248,248,248);font-size:clamp(10px,1vw+2px,16px)}blockquote{margin:0}blockquote p{padding:15px;background:#eee;border-radius:5px}div.csl-entry{margin-top:20px}.sidenote{float:right;clear:right;margin-right:var(--sidenote-right-margin);width:var(--sidenote-width);margin-top:0;margin-bottom:0;font-size:1rem;line-height:1.3em;vertical-align:baseline;position:relative;background:#eee;padding:0.4em;transform:translate(0,-50%)}input.margin-toggle{display:none}@media (max-width:1600px){:root{--content-width:min(69vw,120ch);--sidenote-width:min(30vw,60ch)}div#contents{margin-left:0}}@media (max-width:1200px){div#contents{margin:auto;width:min(100%,120ch)}.sidenote{display:block;float:left;clear:both;width:80%;margin:5% 10%;transform:translate(0)}}@media (max-width:750px){div#header #navigation{text-align:center}div#navigation{clear:both}div#header #navigation a{font-size:4vw}div#logo{width:100%;text-align:center}div#logo a{float:none;line-height:50px;font-size:2.3rem}span .katex-display{font-size:clamp(12px,0.8vw,20px)}}