@font-face{font-family:latin modern;src:url(/fonts/latin-modern/regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:latin modern;src:url(/fonts/latin-modern/italic.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:latin modern;src:url(/fonts/latin-modern/bold.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:latin modern;src:url(/fonts/latin-modern/bold-italic.woff2)format("woff2");font-weight:700;font-style:italic;font-display:swap}*{box-sizing:border-box}html{scroll-padding-top:24px}body{margin:0;background:#fff;color:#111;font:18px/1.6 latin modern,times new roman,serif}a{color:inherit;text-underline-offset:3px}a:hover{text-decoration-thickness:2px}a:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:2px solid currentColor;outline-offset:4px}h1,h2,h3,h4{line-height:1.25}h1{font-size:1.65em;margin:0 0 1.5em}h2{font-size:1.25em;margin:1.8em 0 .7em}h3{font-size:1.1em;margin:1.6em 0 .6em}p{margin:0 0 1em}img{display:block;max-width:100%;height:auto}.reading-layout{width:min(1120px,calc(100% - 80px));margin:56px auto;display:grid;grid-template-columns:210px minmax(0,760px);gap:72px;align-items:start}.document{min-width:0}.sidebar{position:sticky;top:30px;max-height:calc(100vh - 60px);overflow-y:auto;font-size:15px;line-height:1.5;padding-right:12px}.site-title{font-size:20px;font-weight:700;text-decoration:none}.sidebar-note{font-size:13px;color:#555;margin:5px 0 27px}.contents summary{cursor:pointer;font-weight:700;margin-bottom:12px}.contents ol{padding:0;list-style:none;counter-reset:chapters}.contents ol>li{counter-increment:chapters;margin-bottom:5px}.contents ol>li>a{display:block;padding:6px 8px;text-decoration:none;border-left:2px solid transparent}.contents ol>li>a::before{content:counter(chapters)". "}.contents a[aria-current=page]{font-weight:700;border-left-color:#111}.page-contents{margin-top:25px;font-size:13px}.page-contents p{font-weight:700;margin-bottom:9px}.page-contents ul{list-style:none;padding:0}.page-contents li{margin:8px 0}.page-contents ul ul{padding-left:12px}.page-contents a{text-decoration:none}.page-contents a:hover{text-decoration:underline}.pdf-link{display:inline-block;margin-top:20px;font-size:13px}.paper-title{text-align:center;margin-bottom:48px}.paper-title h1{font-size:1.65em;font-weight:700;margin-bottom:30px}.paper-title p{font-size:16px;line-height:1.55;margin-bottom:20px}.paper-title .author{font-size:20px}.overview>h2:first-of-type{text-align:center}.prose p{text-align:justify;hyphens:auto}.paper-title p{text-align:center}.prose li{margin-bottom:.45em}.prose ul,.prose ol{padding-left:1.4em}.prose figure{margin:30px 0}.prose figure img{width:100%}.prose figcaption{text-align:center;font-size:14px;line-height:1.5;margin-top:12px}.prose blockquote{margin:24px 18px;font-style:italic}.prose blockquote p{text-align:left}.prose code{font-family:ui-monospace,Consolas,monospace;font-size:.78em;overflow-wrap:anywhere}.prose pre{padding:15px 0;overflow-x:auto;border-block:1px solid #ccc;line-height:1.4}.prose pre code{overflow-wrap:normal}.prose hr{border:0;border-top:1px solid #ccc;margin:30px 0}.table-scroll{overflow-x:auto}.prose table{width:100%;border-collapse:collapse;font-size:14px;line-height:1.5;margin:24px 0;text-align:left;font-variant-numeric:tabular-nums}.prose th,.prose td{padding:9px 7px;vertical-align:top}.prose thead{border-top:1px solid #111;border-bottom:1px solid #111}.prose tbody{border-bottom:1px solid #111}.prose tbody th{font-weight:400}.prose caption{margin-bottom:12px;text-align:center;font-size:14px}.equation{overflow-x:auto;padding:8px 0;margin:18px 0;text-align:center}.equation math{min-width:max-content}.document-footer{margin-top:60px;padding-top:14px;border-top:1px solid #ccc;font-size:13px;color:#555}.skip-link{position:absolute;left:20px;top:-100px;background:#fff;padding:8px}.skip-link:focus{top:10px}@media(max-width:1000px){.reading-layout{width:calc(100% - 48px);gap:35px;grid-template-columns:180px minmax(0,1fr)}}@media(max-width:720px){body{font-size:17px}.reading-layout{display:block;width:calc(100% - 36px);margin:22px auto}.sidebar{position:static;max-height:none;padding:0 0 20px;margin-bottom:30px;border-bottom:1px solid #ccc}.sidebar-note{margin-bottom:14px}.contents ol{margin:10px 0}.page-contents{display:none}.pdf-link{margin-top:10px}.paper-title h1{font-size:1.45em}.paper-title{margin-bottom:35px}.prose p{text-align:left}.paper-title p{text-align:center}.prose table{font-size:12px}.prose th,.prose td{padding:8px 5px}.prose figcaption{font-size:13px}}@media print{body{font-size:12pt}.sidebar,.skip-link,.document-footer{display:none}.reading-layout{display:block;width:100%;margin:0}a{text-decoration:none}figure,table{break-inside:avoid}h2,h3{break-after:avoid}}