@layer reset{*,:before,:after{box-sizing:border-box}*{margin:0;padding:0}html{color:#000;background-color:#fff}img{max-width:100%;display:block}}@layer typography{body{text-align:left;-webkit-hyphens:auto;hyphens:auto;font-family:Computer Modern Serif,serif;font-size:1.1rem;line-height:1.5}@media (width>=768px){body{text-align:justify;font-size:1.15rem}}.mono{font-family:Computer Modern Typewriter,monospace}h1,h2,h3,h4{text-align:left;margin-top:2em;margin-bottom:.75em;font-family:Computer Modern Serif,serif;font-weight:700;line-height:1.2}h1{text-align:center;margin-top:0;font-size:2.2rem}.publication-title{text-align:center;margin-bottom:.75em;font-family:Computer Modern Serif,serif;font-size:2.2rem;font-weight:700;line-height:1.2}h2{font-size:1.6rem}h3{font-size:1.3rem}p{margin-bottom:1.5em}a{color:navy;text-decoration:none}@media (hover:hover){a:hover{text-decoration:underline}}.citation-link{font-family:inherit;line-height:inherit;color:navy;cursor:pointer;vertical-align:super;background:0 0;border:none;margin:0;padding:0;font-size:.85em;text-decoration:none}@media (hover:hover){.citation-link:hover{text-decoration:underline}}ul,ol{text-align:left;margin-bottom:1.5em;padding-left:2em}li{margin-bottom:.5em}.paper-intro{width:100%;margin:0 auto 3em;font-size:.95em}@media (width>=768px){.paper-intro{width:90%}}.abstract-title{text-align:center;margin-top:0;margin-bottom:1em;font-size:1.25rem;font-weight:700}.sr-only{clip:rect(0, 0, 0, 0);border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.reader-view-title{width:1000px;height:50px;position:absolute;left:-9999px;overflow:hidden}}@layer layout{.site-wrapper{flex-direction:column;max-width:1000px;margin:0 auto;padding:2rem 1.25rem;display:flex}.main-content{width:100%}mjx-container[display=true],table,pre{max-width:100%;display:block;overflow-x:auto}.toc-container{margin-bottom:2.5rem}@media (width>=768px){.site-wrapper{padding:4rem 2rem}.main-content{width:100%}.two-column-layout{grid-template-columns:240px minmax(0,1fr);column-gap:3rem;display:grid}.title-block{text-align:center;margin-bottom:4em}.toc-container{grid-area:1/1/auto/2;height:100%;margin-bottom:0}.article-body{grid-column:2/3}.toc-sticky{overscroll-behavior:contain;max-height:calc(100vh - 2rem);position:sticky;top:1rem;overflow-y:auto}}.toc-sticky{border-left:1px solid #ddd;padding-left:1rem;padding-right:1.5rem;font-size:.9rem}.toc-title{margin-top:0;margin-bottom:1rem;font-weight:700}.toc-list{padding-left:0;list-style:none}.toc-list ul{margin-top:.5rem;margin-bottom:0;padding-left:1rem;list-style:none}.toc-list li{margin-bottom:.4rem}.toc-list a{color:navy;text-decoration:none}@media (hover:hover){.toc-list a:hover{color:navy;text-decoration:underline}}.toc-list a.current-page,.toc-list a.active{color:navy;font-weight:700}.toc-list ul a.active{text-decoration:none}}@layer components{.title-block{text-align:center;margin-bottom:4em}.author{margin-bottom:.5em;font-size:1.1rem}.date{margin-bottom:2em;font-size:1.1rem}.date a{font-size:.7em;text-decoration:none}table{border-collapse:collapse;text-align:left;width:100%;margin-bottom:2em;font-size:.9rem}th,td{border-bottom:1px solid #ddd;padding:.5em}th{border-top:2px solid #000;border-bottom:2px solid #000;font-weight:700}tr:last-child td{border-bottom:2px solid #000}}@layer popovers{[popover]{text-align:left;opacity:0;max-width:420px;transition:opacity .15s ease, overlay .15s allow-discrete, display .15s allow-discrete;background:#fff;border:1px solid #000;border-radius:0;margin:auto;padding:1.5rem;font-family:Computer Modern Serif,serif;font-size:.95rem;line-height:1.5;position:fixed;inset:0}[popover]:popover-open{opacity:1}@starting-style{[popover]:popover-open{opacity:0}}[popover]::backdrop{transition:background .15s ease, overlay .15s allow-discrete, display .15s allow-discrete;background:#fff0}[popover]:popover-open::backdrop{background:#ffffff8c}@starting-style{[popover]:popover-open::backdrop{background:#fff0}}.popover-close{cursor:pointer;color:#000;background:0 0;border:none;padding:0;font-family:inherit;font-size:1.1rem;font-weight:700;line-height:1;position:absolute;top:1rem;right:1rem}@media (hover:hover){.popover-close:hover{text-decoration:underline}}.popover-ref-title{color:#000;border-bottom:1px solid #000;margin-bottom:.75rem;padding-bottom:.5rem;padding-right:2rem;font-family:inherit;font-size:1em;font-weight:700;display:block}.popover-ref-body a{color:navy}@media (hover:hover){.popover-ref-body a:hover{text-decoration:underline}}}::view-transition-old(root){animation-duration:.4s;animation-timing-function:cubic-bezier(.16,1,.3,1)}::view-transition-new(root){animation-duration:.4s;animation-timing-function:cubic-bezier(.16,1,.3,1)}