:root{--green: #00704f;--navy: #00429f;--blue: #00bcff;--magenta: #ff29db;--purple: #7a00ff;--brown: #8b572a;--grey: #666;--yellow: #ffc000;--red: #d10020;--orange: #ff5800;--cyan: #00e994}@font-face{font-family:"study";src:url("/fonts/41831.woff2");font-weight:regular;font-style:normal;font-display:swap}@font-face{font-family:"study";src:url("/fonts/41832.woff2");font-weight:regular;font-style:italic;font-display:swap}@font-face{font-family:"study";src:url("/fonts/41835.woff2");font-weight:500;font-style:normal;font-display:swap}@font-face{font-family:"study";src:url("/fonts/41836.woff2");font-weight:500;font-style:italic;font-display:swap}@font-face{font-family:"study";src:url("/fonts/41837.woff2");font-weight:bold;font-style:normal;font-display:swap}@font-face{font-family:"study";src:url("/fonts/41838.woff2");font-weight:bold;font-style:italic;font-display:swap}@font-face{font-family:"serif";src:url("/fonts/GT-Sectra-Fine-Book.woff");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"serif";src:url("/fonts/GT-Sectra-Fine-Book-Italic.woff");font-weight:normal;font-style:italic;font-display:swap}@font-face{font-family:"serif";src:url("/fonts/GT-Sectra-Fine-Bold.woff");font-weight:bold;font-style:normal;font-display:swap}@font-face{font-family:"mono";src:url("/fonts/BerkeleyMono-Regular.woff2");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"mono";src:url("/fonts/BerkeleyMono-Italic.woff2");font-weight:normal;font-style:italic;font-display:swap}@font-face{font-family:"mono";src:url("/fonts/BerkeleyMono-Bold.woff2");font-style:normal;font-weight:bold;font-display:swap}@font-face{font-family:"mono";src:url("/fonts/BerkeleyMono-BoldItalic.woff2");font-weight:bold;font-style:italic;font-display:swap}embed[type="application/pdf"]{border:1px solid #ddd;margin:0 auto;width:61.8%;height:1000px}a.reversefootnote{display:none}span.text{display:none}ins{background:#fff;text-decoration:none}.highlighted p{background:#eee}.comment{color:var(--red)}*{-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;font-kerning:auto;font-variant-numeric:oldstyle-nums proportional-nums !important;font-variant-ligatures:common-ligatures !important}html{-webkit-text-size-adjust:100%}body{color:#000;counter-reset:sidenote-counter;font-family:'study', 'Times New Roman', Georgia, serif, 'Songti SC';font-size:12.5pt;height:100%;margin:0em auto;max-width:1200px;padding-left:1em;line-height:1.2;position:relative;padding:1em}h1,h2,h3,h4,h5,h6{font-weight:400;font-size:inherit;line-height:1.2;margin:0;max-width:61.8%}h1{margin-bottom:2.5rem;font-weight:400;font-size:175%;max-width:none}h2{margin-top:2.5rem;margin-bottom:.5rem;-webkit-column-break-after:avoid;text-transform:uppercase;font-weight:bold;letter-spacing:.5px;font-size:85%}h3{margin:0;margin-top:2rem;color:initial;font-family:inherit;font-weight:bold}h4{margin-top:1rem;margin-bottom:0;color:initial;font-family:inherit;font-weight:normal;font-style:italic}ul,ol{margin-right:2rem;padding-left:2em}p,table,blockquote,pre,img,hr,.mini-note,ul li,ol li{box-sizing:border-box;max-width:61.8%;hyphens:auto}p p,table p,blockquote p,pre p,img p,hr p,.mini-note p,ul li p,ol li p{max-width:100%}li ul li,li ol li{max-width:100%}p{position:relative;margin-block-start:0em;margin-block-end:1em}::marker{font-variant-numeric:ordinal}a,a:visited{text-decoration-line:underline;text-decoration-color:transparent;text-decoration-thickness:1px;text-underline-offset:.1em;transition-property:color, background-color, border-color, text-decoration-color, fill, stroke, opacity, box-shadow, transform, filter, backdrop-filter, -webkit-backdrop-filter;transition-timing-function:cubic-bezier(0.4, 0, 0.2, 1);transition-duration:.3s}a:hover,a:visited:hover{text-decoration-color:#ccc}hr{background:transparent;border:0;height:2em;margin:0;margin-top:1em;width:100%;position:relative}hr::before{content:"***";position:absolute;left:50%;top:50%;transform:translate(-50%, -50%);color:#111;font-size:1.2em;letter-spacing:0.2em}span.highlight,hl{background-color:#f2ff0089;display:inline}span.highlight mjx-container.MathJax,hl mjx-container.MathJax{display:inline !important}p>mjx-container.MathJax,span.sidenote>mjx-container.MathJax{display:inline !important}figure{align-items:flex-start;display:flex;margin:0;padding:0;position:relative;margin-bottom:1em}figure table{max-width:61.8%;min-width:auto;padding-right:1rem}figure iframe{max-width:61.8%;min-width:auto;padding-right:2em}pre{font-size:75%;margin:0;overflow-x:visible;padding-top:0;max-width:100%}pre.highlight{border-left:3px solid #ccc;margin:0;margin-bottom:1em;padding-left:1em;overflow-x:auto;counter-reset:line}img{height:auto;margin-right:.5em;width:100%}pre,code{font-family:"mono";font-size:87.5%}ul pre,ol pre{max-width:100%}.toc ol{counter-reset:section;list-style-type:none;padding-left:0}.toc ol li{counter-increment:section;position:relative;padding-left:1.5em;margin:0}.toc ol li::before{content:counter(section) ".";position:absolute;left:0}.toc ol li ol{counter-reset:subsection}.toc ol li ol li{counter-increment:subsection;padding-left:2em}.toc ol li ol li::before{content:counter(section) "." counter(subsection,lower-alpha) "."}.table-wrapper{width:61.8%}table{border-collapse:separate;border-spacing:0;margin:0;text-align:left;width:100% !important;font-size:9.5pt;line-height:1.1;min-width:100%;font-family:'Franklin Gothic Medium',  'Arial Narrow',  Arial,  sans-serif;font-variant-ligatures:no-discretionary-ligatures}table th,table td{padding:0}table th:not(:first-child),table td:not(:first-child){text-align:right}table thead th{border-bottom:1px solid #111}table tfoot tr td{padding:.25em 0}.sticky-toc+ul{padding:0;margin:0;font-family:'table', 'Franklin Gothic Medium',  'Arial Narrow',  Arial,  sans-serif;font-size:85%}.sticky-toc+ul li{list-style:none;margin:0;padding:0}.sticky-toc+ul li ul li{list-style:none;margin:0;padding:0}.sticky-toc+ul li ul li ul{display:none}main.post article h2 ~ p:not(.subtitle){counter-increment:paragraph;position:relative}main.post article{counter-reset:paragraph}.subtitle{font-style:italic}.sans{font-family:'sans', helvetica, Arial, Helvetica, Calibri,  sans-serif;letter-spacing:.03em}.caps{font-variant:small-caps}.italics{font-style:italic}.marginnote,.sidenote,figcaption{left:calc(100% + 2em);width:calc(61.8% - 2em);position:absolute;font-size:90%;display:block;line-height:1.2;text-wrap:wrap;hyphens:auto}.marginnote br,.sidenote br,figcaption br{height:0.5em !important;display:block;content:""}.sidenote:before{content:counter(sidenote-counter) " ";position:relative;font-weight:bold;font-size:85%;top:-0.25rem;vertical-align:baseline;font-style:normal}.sidenote-number{counter-increment:sidenote-counter;font-weight:bold}.sidenote-number:after{content:counter(sidenote-counter);font-weight:bold;font-size:80%;left:0.1rem;position:relative;top:-0.25rem;vertical-align:baseline}figure .marginnote,figure .sidenote,figure figcaption{left:2em;position:relative}.epigraph{margin:2rem 0}.epigraph blockquote{font-style:italic;margin:2rem 0}.epigraph blockquote footer{font-style:normal}blockquote{padding:0 1rem;padding-right:0;margin:0;margin-bottom:1em;display:block;border-left:3px solid #ccc;font-size:95%;line-height:1.15}blockquote ul li,blockquote ol li,blockquote pre{margin:0;padding:0;max-width:100%}blockquote ul{margin:0;padding-left:1rem;margin-bottom:1em}blockquote cite{font-style:normal;font-size:initial;text-align:right;margin-top:.5em;padding:0;margin:0;display:block}blockquote footer{text-align:right;margin-right:2em}.bottom-footer{margin:6rem 0}nav{z-index:999;position:sticky;top:1.5rem;margin-bottom:9rem;padding-bottom:1rem;overflow:hidden}nav .menu-icon{cursor:pointer;display:none;text-decoration:underline}nav .menu-btn{display:none}nav .menu-btn:checked ~ .site-nav{display:block}nav ul.site-nav{list-style:none;margin:0;padding:0}nav ul.site-nav li{display:inline-block;margin:0 1rem 0 0}nav ul.site-nav a,nav ul.site-nav a:visited{color:#000;text-decoration:none}nav a,nav a:visited{color:#000}.MathJax_SVG_Display,.display-div{display:flex;width:61.8%;justify-content:center;align-items:center}.MathJax{width:61.8%}blockquote.series{border:none;padding:1em 2em;margin:1em 0;background:#ffffff59}@media print{body{zoom:80%;width:100%;padding:0;padding-top:10em;box-sizing:border-box}nav{display:none}}@media screen and (max-width: 850px){main.post article h2 ~ p:not(.subtitle)::before{display:none}.MathJax_SVG_Display,.display-div,.MathJax{width:100%}body{padding:10px;padding-top:0;width:calc(100% - 20px)}h2.title{margin-top:2rem}p,table,blockquote,pre,img,hr,.mini-note,ul li,ol li{max-width:100%}figure{flex-direction:column}figure table{width:100% !important;max-width:100% !important}.marginnote,.sidenote,figcaption{display:block;left:initial !important;margin-top:0rem !important;margin-bottom:1rem;position:relative;top:auto;width:100%;padding-top:0.5em !important}ul,ol{margin-right:0rem}}.footnotes{margin-top:2rem;padding-top:2rem;font-size:90%;text-align:left}.footnotes ol{padding-left:1.5rem}.footnotes li{margin-bottom:0}.footnotes li p{margin-bottom:0}sup{font-size:x-small;font-weight:bold}code.language-plaintext{font-size:80%}span.tags{font-family:'mono';font-size:65%;text-transform:uppercase;background-color:#ddd}.katex{font-size:inherit}.highlight .c,.highlight .c1,.highlight .cm,.highlight .cp,.highlight .cs{color:#666}.highlight .err{color:var(--red);background-color:#e3d2d2}.highlight .k{font-weight:bold}.highlight .o{font-weight:bold}.highlight .gd{color:#000;background-color:#fdd}.highlight .gd .x{color:#000;background-color:#faa}.highlight .ge{font-style:italic}.highlight .gr{color:var(--red)}.highlight .gh{color:#999}.highlight .gi{color:#000;background-color:#dfd}.highlight .gi .x{color:#000;background-color:#afa}.highlight .go{color:#888}.highlight .gp{color:#555}.highlight .gs{font-weight:bold}.highlight .gu{color:#aaa}.highlight .gt{color:var(--red)}.highlight .kc{font-weight:bold}.highlight .kd{font-weight:bold}.highlight .kp{font-weight:bold}.highlight .kr{font-weight:bold}.highlight .kt{color:#458;font-weight:bold}.highlight .m{color:var(--green)}.highlight .na,.highlight .nb,.highlight .no,.highlight .mf,.highlight .mh,.highlight .mi,.highlight .mo,.highlight .nv,.highlight .vc,.highlight .vg,.highlight .vi,.highlight .il{color:var(--green)}.highlight .nb,.highlight .ss{font-weight:bold}.highlight .nc{color:var(--green);font-weight:bold}.highlight .ni,.highlight .ne,.highlight .nf{color:var(--green);font-weight:bold}.highlight .nn{color:#555}.highlight .nt{color:navy}.highlight .ow{font-weight:bold}.highlight .w{color:#bbb}.highlight .bp,.highlight .s,.highlight .sb,.highlight .sc,.highlight .sd,.highlight .s2,.highlight .se,.highlight .sh,.highlight .si,.highlight .sx,.highlight .s1{color:#000}.highlight .sr{color:var(--orange)}.highlight .err{background:none}