.wp-progress{transform-origin:0;z-index:60;background:#c9974b;height:3px;position:fixed;top:0;left:0;right:0}.wp{max-width:1240px}.wp-head{max-width:860px;padding:56px 0 24px}.wp-head .vh-eyebrow{letter-spacing:.1em;text-transform:uppercase;color:#7a5520;font:600 11px/1 ui-monospace,SF Mono,Menlo,monospace}.vh-site .wp-head h1{letter-spacing:-3px;color:#0b132b;margin-top:18px;font-size:clamp(44px,5.4vw,78px);font-weight:450;line-height:1}.vh-site .wp-sub{color:#3a506b;letter-spacing:-.4px;margin-top:14px;font-size:clamp(20px,2vw,26px);line-height:1.3}.wp-meta{color:#505870;flex-wrap:wrap;align-items:center;gap:10px 22px;margin-top:26px;font-size:13.5px;display:flex}.wp-legend{gap:6px;display:inline-flex}.wp-grid{grid-template-columns:minmax(0,240px) minmax(0,1fr);align-items:start;gap:56px;padding-bottom:90px;display:grid}.wp-toc{max-height:calc(100vh - 120px);padding-right:6px;position:sticky;top:96px;overflow:auto}.wp-toc small{letter-spacing:.1em;text-transform:uppercase;color:#5a6378;margin-bottom:12px;font:600 10.5px/1 ui-monospace,SF Mono,Menlo,monospace;display:block}.wp-toc ol{border-left:1px solid #d9dde3;gap:2px;margin:0;padding:0;list-style:none;display:grid}.wp-toc a{color:#505870;border-left:2px solid #0000;margin-left:-1px;padding:6px 0 6px 14px;font-size:13.5px;line-height:1.35;display:block}.wp-toc a:hover{color:#0b132b}.wp-toc a[aria-current]{color:#0b132b;border-left-color:#c9974b;font-weight:600}.wp-body{color:#2b3153;min-width:0;max-width:760px;font-size:17px;line-height:1.75}.vh-site .wp-body h2{letter-spacing:-1px;color:#0b132b;max-width:none;margin:56px 0 0;scroll-margin-top:110px;font-size:clamp(26px,2.4vw,34px);font-weight:500;line-height:1.15}.wp-body h2:first-child{margin-top:0}.vh-site .wp-body h3{color:#0b132b;margin:30px 0 0;font-size:19px;font-weight:600}.vh-site .wp-body p{margin:16px 0 0}.wp-body ul,.wp-body ol{margin:14px 0 0;padding-left:22px}.wp-body li{margin:7px 0}.wp-body li::marker{color:#c9974b}.wp-body b{color:#0b132b;font-weight:650}.wp-body code{color:#0b132b;background:#e7e9ee;border-radius:6px;padding:2px 6px;font:500 .86em/1.4 ui-monospace,SF Mono,Menlo,monospace}.wp-body pre{color:#e6e9f0;background:#0b132b;border-radius:14px;margin:18px 0 0;padding:16px 18px;overflow:auto}.wp-body pre code{color:inherit;background:0 0;padding:0}.wp-body blockquote{color:#2b3153;background:#fff;border:1px solid #dfe3e9;border-left:3px solid #c9974b;border-radius:14px;margin:22px 0 0;padding:18px 22px;font-size:15.5px;line-height:1.65}.wp-body hr{border:0;border-top:1px solid #d9dde3;margin:40px 0}.wp-table{background:#fff;border:1px solid #dfe3e9;border-radius:14px;max-width:100%;margin:20px 0 0;overflow-x:auto}.wp-table table{border-collapse:collapse;width:100%;min-width:560px;font-size:14px;line-height:1.5}.wp-table th,.wp-table td{text-align:left;vertical-align:top;border-bottom:1px solid #eef0f3;padding:11px 14px}.wp-table thead th{letter-spacing:.04em;text-transform:uppercase;color:#5a6378;background:#f6f7f9;font-size:12px;font-weight:600}.wp-table tbody th{color:#0b132b;font-weight:600}.wp-table tr:last-child>*{border-bottom:0}.wp-tag{letter-spacing:.04em;vertical-align:1px;white-space:nowrap;border-radius:99px;margin:0 2px;padding:2px 8px;font:600 10.5px/1.5 ui-monospace,SF Mono,Menlo,monospace;display:inline-block}.wp-implemented{color:#24563a;background:#e6efe9}.wp-specified{color:#2b3153;background:#e5e9f2}.wp-research{color:#7a5520;background:#f6ead2}.wp-end{background:#fff;border:1px solid #dfe3e9;border-radius:20px;margin-top:56px;padding:28px}.vh-site .wp-end p{color:#505870;margin:0 0 18px}@media (max-width:1000px){.wp-grid{grid-template-columns:minmax(0,1fr);gap:20px}.wp-toc{min-width:0;max-height:none;position:static}.wp-toc ol{grid-template-columns:1fr 1fr}}@media (max-width:600px){.wp-toc ol{grid-template-columns:1fr}.wp-body{font-size:16px}}.vh-site .wp-byline{color:#505870;margin-top:18px;font-size:14px}.vh-site .wp-status{color:#505870;max-width:70ch;margin:18px 0 0;font-size:15px;line-height:1.6}.wp-reading-help{color:#505870;border-top:1px solid #d9dde3;border-bottom:1px solid #d9dde3;margin-top:18px;font-size:14px}.wp-reading-help summary{cursor:pointer;color:#3a506b;padding:14px 0;font-weight:550}.wp-reading-help summary:focus-visible{outline-offset:3px;outline:2px solid #7a5520}.wp-reading-help-body{padding:0 0 20px}.vh-site .wp-reading-help-body p{color:#505870;max-width:75ch;margin:12px 0 0;font-size:14px;line-height:1.65}.vh-site .wp-reading-help-body p:first-child{margin-top:0}.wp-reading-help a{text-underline-offset:3px;color:#3a506b;text-decoration:underline}.wp-reading-help .wp-legend{color:#505870;flex-wrap:wrap;gap:8px 22px;margin:16px 0;padding:0;font-size:13px;list-style:none;display:flex}.wp-reading-help .wp-legend li{align-items:center;gap:6px;display:flex}.wp-editions{grid-template-columns:1.4fr 1fr 1fr;gap:12px;margin-top:20px;display:grid}.wp-ed{text-align:left;color:#0b132b;font:inherit;cursor:pointer;background:#fff;border:1px solid #dfe3e9;border-radius:12px;flex-direction:column;gap:4px;padding:14px 16px;transition:border-color .15s,transform .15s;display:flex}.wp-ed:hover{border-color:#3a506b;transform:translateY(-1px)}.wp-ed:focus-visible{outline-offset:2px;outline:2px solid #3a506b}.wp-ed small{letter-spacing:.1em;text-transform:uppercase;color:#5a6378;font:600 10.5px/1 ui-monospace,SF Mono,Menlo,monospace}.wp-ed b{font-size:16px;font-weight:620}.wp-ed span{color:#505870;font-size:13.5px}.wp-ed-pdf{color:#fff;background:#0b132b;border-color:#0b132b}.wp-ed-pdf small{color:#e3b264}.wp-ed-pdf span{color:#c4cad3}.wp-ed-pdf:hover{border-color:#c9974b}.vh-site .wp-license{color:#505870;max-width:75ch;margin-top:8px;font-size:13px;line-height:1.6}.wp-artifact-links{display:block}.wp-archive{color:#505870;grid-column:1/-1;font-size:13px}.wp-archive summary{cursor:pointer}.wp-archive p{margin:8px 0 0}.wp-archive a{text-underline-offset:3px;text-decoration:underline}.wp-toc li.is-app:first-of-type,.wp-toc li:not(.is-app)+li.is-app{border-top:1px solid #e3e6eb;margin-top:12px;padding-top:10px}.wp-paperhtml section{scroll-margin-top:100px}.vh-site .wp-paperhtml h2{letter-spacing:-.8px;color:#0b132b;max-width:none;margin:60px 0 0;font-size:clamp(25px,2.3vw,32px);font-weight:520;line-height:1.15}.wp-paperhtml>section:first-child>h2{margin-top:0}.vh-site .wp-paperhtml h3{letter-spacing:-.2px;color:#0b132b;margin:34px 0 0;font-size:20px;font-weight:620;line-height:1.3}.vh-site .wp-paperhtml h4,.vh-site .wp-paperhtml h5{color:#0b132b;margin:26px 0 0;font-size:16.5px;font-weight:650}.wp-paperhtml h2[data-n]:before,.wp-paperhtml h3[data-n]:before{content:attr(data-n);color:#7a5520;font-variant-numeric:tabular-nums;min-width:2.1em;font-weight:600;display:inline-block}.wp-paperhtml h3[data-n]:before{min-width:2.6em}.wp-paperhtml p{margin:14px 0 0}.wp-paperhtml .definition,.wp-paperhtml .theorem,.wp-paperhtml .lemma,.wp-paperhtml .proposition,.wp-paperhtml .corollary{background:#f6f7f9;border-left:3px solid #3a506b;border-radius:12px;margin:20px 0 0;padding:14px 18px}.wp-paperhtml .theorem,.wp-paperhtml .lemma,.wp-paperhtml .proposition{background:#fbf7f0;border-left-color:#c9974b}.wp-paperhtml .definition p:first-child,.wp-paperhtml .theorem p:first-child,.wp-paperhtml .lemma p:first-child,.wp-paperhtml .proposition p:first-child,.wp-paperhtml .remark p:first-child{margin-top:0}.wp-paperhtml .remark{color:#3a506b;margin:18px 0 0;font-size:15.5px}.wp-paperhtml .proof{color:#3a506b;margin:10px 0 0;font-size:15.5px}.wp-paperhtml strong{color:#0b132b;font-weight:650}.wp-paperhtml math{font-size:1.04em}.wp-paperhtml math[display=block]{margin:16px 0;padding:4px 0;display:block;overflow:auto hidden}.wp-paperhtml figure{background:#fff;border:1px solid #dfe3e9;border-radius:16px;margin:26px 0 0;padding:16px}.wp-paperhtml figure img{width:100%;max-width:680px;height:auto;margin:0 auto;display:block}.wp-paperhtml figcaption{color:#505870;margin-top:12px;font-size:13.5px;line-height:1.55}.wp-paperhtml figcaption b,.wp-paperhtml caption b{color:#0b132b}.wp-paperhtml table{border-collapse:collapse;background:#fff;border:1px solid #dfe3e9;border-radius:14px;max-width:100%;margin:22px 0 0;font-size:13.5px;line-height:1.5;display:block;overflow-x:auto}.wp-paperhtml caption{caption-side:top;text-align:left;color:#505870;padding:12px 14px 4px;font-size:13.5px}.wp-paperhtml th,.wp-paperhtml td{text-align:left;vertical-align:top;border-bottom:1px solid #eef0f3;padding:9px 14px}.wp-paperhtml thead th{letter-spacing:.03em;color:#5a6378;background:#f6f7f9;font-size:12px;font-weight:600}.wp-paperhtml tr:last-child>*{border-bottom:0}.wp-paperhtml ul,.wp-paperhtml ol{margin:12px 0 0;padding-left:22px}.wp-paperhtml li{margin:6px 0}.wp-paperhtml a{color:#3a506b;text-underline-offset:3px;-webkit-text-decoration:underline #c5ccd6;text-decoration:underline #c5ccd6}.wp-paperhtml a:hover{color:#0b132b;text-decoration-color:#0b132b}.wp-paperhtml #references ol{color:#3a506b;font-size:14px;line-height:1.55}.wp-paperhtml code{color:#0b132b;background:#e7e9ee;border-radius:5px;padding:1px 5px;font:500 .86em/1.4 ui-monospace,SF Mono,Menlo,monospace}.wp-paperhtml #abstract{background:#fff;border:1px solid #dfe3e9;border-radius:16px;padding:22px 24px}.vh-site .wp-paperhtml #abstract h2{letter-spacing:0;margin:0;font-size:15px;font-weight:650}.wp-paperhtml #abstract p{font-size:15.5px;line-height:1.65}.wp-paperhtml #appendices>h2{border-top:1px solid #d9dde3;padding-top:28px}.wp-foot{background:#fff;border:1px solid #dfe3e9;border-radius:20px;grid-template-columns:1fr auto;align-items:center;gap:18px 28px;margin:0 0 80px;padding:26px 28px;display:grid}.wp-foot b{color:#0b132b;font-size:18px}.vh-site .wp-foot p{color:#505870;max-width:62ch;margin:6px 0 0;font-size:15px}.wp-foot-act{flex-wrap:wrap;align-items:center;gap:14px;display:flex}.wp-linkbtn{font:inherit;color:#3a506b;text-underline-offset:3px;cursor:pointer;background:0 0;border:0;padding:8px 2px;font-size:14.5px;text-decoration:underline}.vh-site .wp-foot .wp-updated{color:#5a6378;border-top:1px solid #eef0f3;grid-column:1/-1;margin:0;padding-top:14px;font-size:13px}.wp-updated a{color:#3a506b;text-underline-offset:3px;text-decoration:underline}.vh-site .wp-copy-feedback p{color:#505870;margin:10px 0 0;font-size:13px;line-height:1.5}.wp-copy-feedback p:empty{display:none}.wp-copy-feedback textarea{box-sizing:border-box;color:#0b132b;resize:vertical;background:#fbfbfa;border:1px solid #cfd4dc;border-radius:10px;width:100%;max-width:680px;margin-top:8px;padding:12px;font:13px/1.5 ui-monospace,monospace;display:block}.wp-copy-feedback textarea:focus-visible{outline-offset:2px;outline:2px solid #3a506b}.wp-foot .wp-copy-feedback{max-width:36ch}@media (max-width:860px){.wp-editions{grid-template-columns:repeat(2,minmax(0,1fr))}.wp-ed-pdf{grid-column:1/-1}.wp-foot{grid-template-columns:1fr}}@media (prefers-reduced-motion:reduce){.wp-ed{transition:none}.wp-ed:hover{transform:none}}.wp-paperhtml{overflow-wrap:anywhere}.wp-paperhtml math,.wp-paperhtml mtable,.wp-paperhtml math[display=block]{max-width:100%}.wp-paperhtml p math{vertical-align:middle;overflow:auto hidden}.wp-eq{-webkit-overflow-scrolling:touch;max-width:100%;margin:14px 0;padding:4px 0;overflow:auto hidden}.wp-eq math[display=block]{margin:0}@media (max-width:600px){.wp-paperhtml p math{max-width:100%;display:inline-block}}.vh-site .wp-ed-pdf b{color:#fff}.vh-site .wp-paperhtml .wp-inwords{color:#2b3153;background:#f0f2f5;border-radius:10px;margin:12px 0 0;padding:10px 14px;font-size:15px;line-height:1.6}.vh-site .wp-paperhtml .wp-inwords b{color:#7a5520;font-weight:650}.wp-eq{text-align:center}.wp-eq math[display=block]{font-size:1.08em;display:inline-block}.vh-site .wp-head .wp-sub{max-width:34ch}.wp-eq{scroll-margin-top:110px;position:relative}.wp-eqn{color:#5a6378;font-variant-numeric:tabular-nums;font-size:14px;position:absolute;top:50%;right:0;transform:translateY(-50%)}@media (max-width:600px){.wp-eqn{text-align:right;display:block;position:static;transform:none}}.vh-site .wp-reading-guide{color:#505870;max-width:75ch;margin:20px 0 0;font-size:14px;line-height:1.65}.wp-reading-guide a{text-underline-offset:3px;color:#3a506b;text-decoration:underline}.wp-paperhtml>h2:first-child{margin-top:0}.vh-site .wp-paperhtml>h2#abstract{background:0 0;border:0;padding:0;font-size:24px}.wp-paperhtml h3[id],.wp-paperhtml figure[id],.wp-paperhtml table[id],.wp-foot[id],.wp-paperhtml [id^=ref-],.wp-paperhtml .theorem[id],.wp-paperhtml .proposition[id],.wp-paperhtml .lemma[id],.wp-paperhtml .definition[id]{scroll-margin-top:110px}.wp-paperhtml .table-scroll{background:#fff;border:1px solid #dfe3e9;border-radius:12px;max-width:100%;margin:24px 0;overflow:auto}.wp-paperhtml .table-scroll table{border:0;border-radius:0;width:100%;min-width:560px;margin:0;display:table;overflow:visible}.wp-paperhtml caption{padding:12px 14px;font-weight:500;line-height:1.6}.wp-paperhtml .display-equation{align-items:center;gap:18px;max-width:100%;margin:18px 0;padding:8px 2px;display:flex;overflow:auto}.wp-paperhtml .display-equation math{flex:1;min-width:max-content;margin:0}.wp-paperhtml .equation-number{color:#505870;flex:none;font-size:14px}.wp-paperhtml .table-scroll:focus-visible,.wp-paperhtml .display-equation:focus-visible{outline-offset:3px;outline:2px solid #7a5520}.wp-paperhtml figure img{max-width:none}.vh-site .wp-paperhtml .wp-figure-files{border-top:1px solid #e3e6eb;margin-top:12px;padding-top:10px;font-size:13px}.wp-paperhtml .theorem-title{font-weight:650}@media (max-width:600px){.wp-paperhtml figure{padding:10px}.wp-paperhtml figcaption{font-size:13px}.wp-paperhtml .table-scroll table{min-width:540px}}.wp-appendix-toc{color:#505870;margin-top:16px;font-size:13.5px}.wp-appendix-toc summary{cursor:pointer;color:#0b132b;padding:8px 0;font-weight:600}.wp-appendix-toc summary:focus-visible{outline-offset:3px;outline:2px solid #7a5520}.wp-appendix-toc ol{margin-top:6px}.wp-figure-open{display:block}.wp-figure-open:focus-visible{outline-offset:4px;outline:2px solid #7a5520}@font-face{font-family:VantheonPaperLatinModern;src:url(/papers/v2.8/lmroman12-regular.otf)format("opentype");font-style:normal;font-weight:400;font-display:swap}@font-face{font-family:VantheonPaperLatinModern;src:url(/papers/v2.8/lmroman12-bold.otf)format("opentype");font-style:normal;font-weight:700;font-display:swap}@font-face{font-family:VantheonPaperLatinModern;src:url(/papers/v2.8/lmroman12-italic.otf)format("opentype");font-style:italic;font-weight:400;font-display:swap}@font-face{font-family:VantheonPaperLatinModern;src:url(/papers/v2.8/lmroman10-bolditalic.otf)format("opentype");font-style:italic;font-weight:700;font-display:swap}@font-face{font-family:VantheonPaperLatinModernMath;src:url(/papers/v2.8/latinmodern-math.otf)format("opentype");font-display:swap}.wp-paperhtml{font:1.15rem/1.65 VantheonPaperLatinModern,Georgia,serif}.wp-paperhtml math{font-family:VantheonPaperLatinModernMath,Latin Modern Math,serif}@media (max-width:760px){.wp-paperhtml{font-size:1.06rem}}.wp-mobile-toc{color:#3a506b;border-bottom:1px solid #d9dde3;padding-bottom:14px;font-size:14px;display:none}.wp-mobile-toc>summary{cursor:pointer;box-sizing:border-box;min-height:44px;padding:12px 0;font-weight:600}.wp-mobile-toc summary:focus-visible{outline-offset:3px;outline:2px solid #7a5520}.wp-mobile-toc nav{margin-top:14px}.wp-mobile-toc ol{border-left:1px solid #d9dde3;gap:2px;margin:0;padding:0;list-style:none;display:grid}.wp-mobile-toc a{color:#505870;border-left:2px solid #0000;margin-left:-1px;padding:7px 12px;font-size:13.5px;line-height:1.4;display:block}.wp-mobile-toc a:hover{color:#0b132b}.wp-mobile-toc a[aria-current]{color:#0b132b;border-left-color:#c9974b;font-weight:600}@media (max-width:1000px){.wp-toc{display:none}.wp-mobile-toc{display:block}}@media (max-width:600px){.wp-head{padding-top:36px}.wp-editions{gap:8px}.wp-ed{padding:12px 14px}.wp-ed small{font-size:10px}.wp-ed span{font-size:13px}}.wp-reading-paths{grid-template-columns:repeat(3,minmax(0,1fr));gap:22px;margin-top:30px;display:grid}.wp-reading-paths a{color:#0b132b;border-top:1px solid #bfc6d0;grid-template-columns:1fr auto;align-content:start;gap:8px 12px;padding:16px 0;display:grid}.wp-reading-paths a>span:first-child{color:#7a5520;grid-column:1/-1;font:500 11px/1.4 ui-monospace,SF Mono,Menlo,monospace}.wp-reading-paths b{font-size:15px;font-weight:550;line-height:1.45}.wp-reading-paths a>span:last-child{color:#7a5520;font-size:18px}.wp-reading-paths a:hover b{text-underline-offset:4px;text-decoration:underline}.wp-reading-paths a:focus-visible{outline-offset:5px;outline:2px solid #7a5520}@media (max-width:600px){.wp-reading-paths{grid-template-columns:1fr;gap:0;margin-top:24px}.wp-reading-paths a{gap:4px 12px;padding:13px 0}}