@font-face{font-family:Paper Latin Modern;src:url(/fonts/papers/latin-modern-regular.woff2)format("woff2");font-style:normal;font-weight:400;font-display:swap}@font-face{font-family:Paper Latin Modern;src:url(/fonts/papers/latin-modern-italic.woff2)format("woff2");font-style:italic;font-weight:400;font-display:swap}@font-face{font-family:Paper Latin Modern;src:url(/fonts/papers/latin-modern-bold.woff2)format("woff2");font-style:normal;font-weight:700;font-display:swap}@font-face{font-family:Paper Latin Modern;src:url(/fonts/papers/latin-modern-bold-italic.woff2)format("woff2");font-style:italic;font-weight:700;font-display:swap}@font-face{font-family:Paper Computer Modern;src:url(/fonts/papers/computer-modern-regular.woff2)format("woff2");font-style:normal;font-weight:400;font-display:swap}@font-face{font-family:Paper Computer Modern;src:url(/fonts/papers/computer-modern-italic.woff2)format("woff2");font-style:italic;font-weight:400;font-display:swap}@font-face{font-family:Paper Computer Modern;src:url(/fonts/papers/computer-modern-bold.woff2)format("woff2");font-style:normal;font-weight:700;font-display:swap}@font-face{font-family:Paper Computer Modern;src:url(/fonts/papers/computer-modern-bold-italic.woff2)format("woff2");font-style:italic;font-weight:700;font-display:swap}@font-face{font-family:Paper Latin Modern Math;src:url(/fonts/papers/latin-modern-math.woff2)format("woff2");font-style:normal;font-weight:400;font-display:swap}@font-face{font-family:Paper Computer Modern Math;src:url(/fonts/papers/computer-modern-math.woff2)format("woff2");font-style:normal;font-weight:400;font-display:swap}[data-paper-font=latin-modern]{font-family:Paper Latin Modern,Songti SC,Noto Serif CJK SC,Source Han Serif SC,serif}[data-paper-font=computer-modern]{font-family:Paper Computer Modern,Songti SC,Noto Serif CJK SC,Source Han Serif SC,serif}html [data-paper-font] .paper-content,html [data-paper-font] .paper-content :where(h1,h2,h3,h4,h5,h6,p,li,table,blockquote){font-family:inherit}.paper-content{overflow-wrap:break-word;width:min(100%,74ch);max-width:74ch;line-height:var(--reader-line-height,1.82);text-rendering:optimizelegibility;margin-inline:auto}[data-paper-heading-fit]{max-width:100%}[data-paper-heading-fit][data-paper-heading-state=measuring],[data-paper-heading-fit][data-paper-heading-state=single]{overflow-wrap:normal;text-wrap:nowrap;white-space:nowrap}[data-paper-heading-fit][data-paper-heading-state=wrapped]{overflow-wrap:normal;text-wrap:pretty;white-space:normal}.paper-cover-heading>.paper-heading-text{min-width:0;max-width:100%}.paper-content :is(h1,h2,h3,h4,h5,h6)[data-paper-heading-fit]{line-height:1.22}.paper-content #title-block-header{text-align:center;margin-bottom:2.5rem}.paper-content #title-block-header>.title{text-wrap:pretty;margin-bottom:1rem;font-size:clamp(1.75rem,4vw,2.55rem);line-height:1.2}.paper-content #title-block-header>.title[data-paper-heading-state=measuring],.paper-content #title-block-header>.title[data-paper-heading-state=single]{text-wrap:nowrap;white-space:nowrap}.paper-content #title-block-header>:is(.author,.date){color:hsl(var(--muted-foreground));margin-block:.25rem}.paper-content #TOC{border:1px solid hsl(var(--primary) / .2);background:linear-gradient(135deg, hsl(var(--primary) / .07), hsl(var(--shoka-info) / .05));border-radius:1.25rem;margin:1.75rem 0 3rem;padding:1.25rem 1.5rem;box-shadow:0 1rem 3rem #2326580d}.paper-content #TOC:before{color:hsl(var(--primary));content:"Contents";letter-spacing:.16em;text-transform:uppercase;margin-bottom:.75rem;font-size:.78rem;font-weight:700;display:block}.paper-content #TOC ul{margin-block:.35rem}.paper-content #TOC li{margin-block:.2rem}.paper-content .abstract{border:1px solid hsl(var(--primary) / .18);background:linear-gradient(145deg, hsl(var(--primary) / .09), hsl(var(--shoka-info) / .045) 58%, transparent);text-align:start;border-radius:1.25rem;margin:2rem 0 0;padding:clamp(1.15rem,3vw,1.75rem);box-shadow:inset 0 1px #ffffff73,0 1rem 3rem #2326580d}.paper-content .abstract-title{color:hsl(var(--primary));letter-spacing:.16em;text-transform:uppercase;margin-bottom:.75rem;font-size:.8rem;font-weight:700}.paper-content .abstract p{margin:0;font-size:.96em;line-height:1.78}[data-paper-font=latin-modern] .paper-content math{font-family:Paper Latin Modern Math,math}[data-paper-font=computer-modern] .paper-content math{font-family:Paper Computer Modern Math,math}.paper-content math:not([display=block]){vertical-align:-.08em;font-size:1.02em}.paper-content .paper-equation{box-sizing:border-box;width:100%;max-width:100%;box-shadow:none;background:0 0;border:0;margin:.9rem 0;font-style:normal;display:block;position:relative;transform:none}.paper-content .paper-equation--contained{margin-block:.75rem}.paper-content .paper-equation-scroll{box-sizing:border-box;overscroll-behavior-inline:contain;scrollbar-color:hsl(var(--primary) / .42) transparent;scrollbar-width:thin;-webkit-overflow-scrolling:touch;width:100%;max-width:100%;padding:.15rem 0 .25rem;display:block;overflow:auto hidden}.paper-content .paper-equation[data-overflowing] .paper-equation-scroll{padding-bottom:1.15rem}.paper-content .paper-equation[data-overflowing][data-at-start=true][data-at-end=false] .paper-equation-scroll{mask-image:linear-gradient(90deg,#000 0 calc(100% - 1.5rem),#0000 100%)}.paper-content .paper-equation[data-overflowing][data-at-start=false][data-at-end=true] .paper-equation-scroll{mask-image:linear-gradient(90deg,#0000 0,#000 1.5rem 100%)}.paper-content .paper-equation[data-overflowing][data-at-start=false][data-at-end=false] .paper-equation-scroll{mask-image:linear-gradient(90deg,#0000 0,#000 1.5rem calc(100% - 1.5rem),#0000 100%)}.paper-content .paper-equation-scroll:focus-visible{outline:2px solid hsl(var(--primary) / .65);outline-offset:3px}.paper-content .paper-equation-scroll>math[display=block]{text-align:center;width:max-content;min-width:100%;margin:0 auto;padding:0;font-size:1.08em;font-style:normal;display:block;overflow:visible}.paper-content .paper-equation-svg{width:var(--paper-equation-svg-width);color:currentColor;max-width:none;height:auto;margin-inline:auto;font-style:normal;display:block;overflow:visible}.paper-content .paper-equation-svg--tablet,.paper-content .paper-equation-svg--mobile{display:none}.paper-content .paper-equation-semantic{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;margin:-1px;position:absolute;overflow:hidden}.paper-content .paper-equation .tml-tag{color:hsl(var(--muted-foreground));white-space:nowrap;padding-inline-start:1.35rem;font-size:.82em}.paper-content .paper-equation-hint{z-index:3;color:hsl(var(--muted-foreground));letter-spacing:.02em;font-family:ui-sans-serif,system-ui,sans-serif;font-size:.67rem;font-style:normal;display:none;position:absolute;bottom:0;right:.75rem}.paper-content .paper-equation[data-overflowing] .paper-equation-hint{display:block}.paper-content .paper-anchor{visibility:hidden;display:block;position:absolute;top:-5rem}.paper-content .paper-reference,.paper-content .paper-citation{color:hsl(var(--primary));text-decoration:none}.paper-content .paper-reference:hover,.paper-content .paper-citation:hover{text-decoration:underline}.paper-content :is(.theorem,.lemma,.proposition,.corollary,.definition,.condition){border:1px solid hsl(var(--primary) / .14);border-left:.24rem solid hsl(var(--primary) / .62);background:hsl(var(--primary) / .075);border-radius:0 1rem 1rem 0;margin:1.65rem 0;padding:1rem clamp(1rem,2.5vw,1.4rem)}.paper-content :is(.lemma,.corollary){border-left-color:hsl(var(--shoka-info) / .62);background:hsl(var(--shoka-info) / .075)}.paper-content :is(.definition,.condition){border-left-color:hsl(var(--shoka-success) / .56);background:hsl(var(--shoka-success) / .07)}html.dark .paper-content :is(.theorem,.proposition){background:hsl(var(--primary) / .12)}html.dark .paper-content :is(.lemma,.corollary){background:hsl(var(--shoka-info) / .12)}html.dark .paper-content :is(.definition,.condition){background:hsl(var(--shoka-success) / .11)}.paper-content :is(.theorem,.lemma,.proposition,.corollary,.definition,.condition)>:first-child{margin-top:0}.paper-content :is(.theorem,.lemma,.proposition,.corollary,.definition,.condition)>:last-child{margin-bottom:0}.paper-content .proof{border-left:1px dashed hsl(var(--muted-foreground) / .35);margin:1.35rem 0;padding-left:clamp(.9rem,2vw,1.25rem)}.paper-content .proof>:first-child{margin-top:0}.paper-content .proof>:last-child{margin-bottom:0}.paper-content :is(.remark,.example){background:hsl(var(--muted) / .32);border-radius:.85rem;margin:1.35rem 0;padding:.8rem 1rem}.paper-content table{border-radius:.75rem;width:100%;max-width:100%;display:block;overflow-x:auto}.paper-content figure{width:100%;max-width:100%;margin-inline:0}.paper-content figure img{border-radius:1.25rem}.paper-content #refs{border-top:1px solid hsl(var(--border));padding-top:1.5rem}@media (width>=640px) and (width<=1199px){.paper-content .paper-equation-svg--desktop{display:none}.paper-content .paper-equation-svg--tablet{display:block}}@media (width<=639px){.paper-content{width:100%;font-size:.98rem}.paper-content .paper-equation{margin-block:.75rem}.paper-content .paper-equation--contained{margin-block:.6rem}.paper-content .paper-equation-svg--desktop{display:none}.paper-content .paper-equation-svg--mobile{display:block}.paper-content .paper-equation-scroll>math[display=block]{font-size:1.08em}}