.statement-v2.statement-v2--article{width:min(100%,80rem);padding-inline:1.25rem}.ra-shell{grid-template-columns:15rem minmax(0,1fr);align-items:start;gap:2rem;display:grid}.ra-rail{scrollbar-width:thin;grid-template-columns:minmax(0,1fr);gap:1.4rem;max-height:calc(100vh - 5.5rem);padding-bottom:.5rem;display:grid;position:sticky;top:4.5rem;overflow-y:auto}.ra-back{width:fit-content;color:var(--tdb-muted);align-items:center;gap:.4rem;font-size:.78rem;font-weight:600;text-decoration:none;display:inline-flex}.ra-back:hover{color:var(--tdb-accent)}.ra-chatgpt-cta{border:1px solid var(--tdb-accent);background:var(--tdb-accent);color:#fff;text-align:center;border-radius:.3rem;justify-content:center;align-items:center;min-height:2.25rem;padding:.45rem .5rem;font-size:.66rem;font-weight:680;line-height:1.15;text-decoration:none;transition:border-color .12s,background .12s;display:inline-flex}.ra-chatgpt-cta:hover{border-color:var(--tdb-accent-strong);background:var(--tdb-accent-strong);color:#fff}.ra-chatgpt-cta--mobile{display:none}.ra-infobox{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-surface);min-width:0;max-width:100%;overflow:hidden}.ra-infobox-title{border-bottom:1px solid var(--tdb-rule);background:var(--tdb-accent-soft);color:var(--tdb-accent-strong);text-align:center;margin:0;padding:.55rem .65rem;font-size:.72rem;font-weight:680;line-height:1.35}.ra-figure{border-bottom:1px solid var(--tdb-rule);margin:0;padding:.6rem .65rem .55rem}.ra-figure-grid{grid-template-columns:repeat(var(--figure-size,14), 1fr);border:1px solid var(--tdb-rule);background:var(--tdb-rule);gap:1px;display:grid}.ra-figure-grid span{aspect-ratio:1;background:var(--tdb-canvas)}.ra-figure-grid span.is-one{background:var(--tdb-accent)}.ra-figure-sizes{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);margin-top:.45rem;display:inline-flex;overflow:hidden}.ra-figure-sizes button{border:0;border-left:1px solid var(--tdb-rule);background:var(--tdb-canvas);font-family:var(--tdb-font-code);color:var(--tdb-muted);cursor:pointer;padding:.16rem .4rem;font-size:.56rem;font-weight:600}.ra-figure-sizes button:first-child{border-left:0}.ra-figure-sizes button:hover{color:var(--tdb-accent)}.ra-figure-sizes button[aria-pressed=true]{background:var(--tdb-accent-soft);color:var(--tdb-accent)}.ra-figure figcaption{color:var(--tdb-muted);gap:.22rem;margin-top:.45rem;font-size:.6rem;line-height:1.45;display:grid}.ra-figure figcaption strong{font-family:var(--tdb-font-math);color:var(--tdb-ink);font-size:.78rem}.ra-figure-key{align-items:center;gap:.35rem;display:inline-flex}.ra-figure-key i{background:var(--tdb-accent);width:.5rem;height:.5rem}.ra-figure-caption{color:var(--tdb-faint)}.ra-illustration{border-bottom:1px solid var(--tdb-rule);background:var(--tdb-canvas);min-width:0;max-width:100%;margin:0;padding:.55rem}.ra-illustration img{aspect-ratio:1;border:1px solid color-mix(in srgb, var(--tdb-rule) 72%, transparent);object-fit:cover;width:100%;max-width:100%;height:auto;display:block}.ra-illustration .ra-figure-sizes{width:max-content;max-width:100%;margin-top:.45rem;display:flex}.ra-illustration .ra-figure-sizes button{min-width:2.1rem}.ra-illustration figcaption{color:var(--tdb-ink);margin-top:.45rem;font-size:.76rem;line-height:1.45}.ra-mobile-hero{display:none}.ra-flagship-matrix--mobile{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-surface);margin:0}.ra-mobile-illustration{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-canvas);margin:0;padding:.55rem}.ra-mobile-illustration img{aspect-ratio:1;border:1px solid color-mix(in srgb, var(--tdb-rule) 72%, transparent);width:100%;height:auto;display:block}.ra-mobile-illustration figcaption{color:var(--tdb-ink);margin-top:.45rem;font-size:.76rem;line-height:1.45}.ra-infobox dl{margin:0;padding:.15rem 0}.ra-infobox-action{border-top:1px solid var(--tdb-rule);padding:.65rem}.ra-infobox-action .ra-chatgpt-cta{width:100%}.ra-infobox-row{border-top:1px solid color-mix(in srgb, var(--tdb-rule) 60%, transparent);grid-template-columns:4.6rem minmax(0,1fr);gap:.6rem;padding:.34rem .65rem;font-size:.66rem;line-height:1.45;display:grid}.ra-infobox-row:first-child{border-top:0}.ra-infobox-row dt{color:var(--tdb-muted);font-weight:620}.ra-infobox-row dd{overflow-wrap:anywhere;min-width:0;color:var(--tdb-ink);margin:0}.ra-infobox-row dd.is-mono{font-family:var(--tdb-font-code);font-size:.58rem}.ra-infobox-row dd a{color:var(--tdb-accent);text-decoration:none}.ra-infobox-row dd a:hover{text-underline-offset:.15em;text-decoration:underline}.ra-infobox-tags{flex-wrap:wrap;gap:.25rem;display:flex}.ra-infobox-tags a{border:1px solid var(--tdb-rule);color:var(--tdb-muted);border-radius:999px;padding:.06rem .35rem;font-size:.58rem}.ra-infobox-tags a:hover{border-color:var(--tdb-accent);color:var(--tdb-accent);text-decoration:none}.ra-infobox-live{border-top:1px solid var(--tdb-rule);font-family:var(--tdb-font-code);color:var(--tdb-faint);margin:0;padding:.4rem .65rem;font-size:.56rem;line-height:1.45}.ra-contributors{border-top:1px solid var(--tdb-rule)}.ra-contributors-title{color:var(--tdb-ink);letter-spacing:.06em;text-transform:uppercase;margin:0;padding:.48rem .65rem .18rem;font-size:.62rem;font-weight:700}.ra-contributor-person{flex-wrap:wrap;align-items:baseline;gap:.18rem;display:inline-flex}.ra-contributor-person+.ra-contributor-person:before{content:",";color:var(--tdb-muted);margin-right:.08rem}.ra-contributor-account{color:var(--tdb-muted);font-size:.58rem}.ra-academic-badge{border:1px solid color-mix(in srgb, var(--tdb-positive) 35%, var(--tdb-rule));color:var(--tdb-positive);white-space:nowrap;border-radius:999px;align-items:center;padding:.01rem .25rem;font-size:.5rem;font-weight:650;display:inline-flex}.ra-toc-title{letter-spacing:.06em;text-transform:uppercase;color:var(--tdb-muted);margin:0 0 .5rem;font-size:.72rem;font-weight:650}.ra-toc ol{border-top:1px solid var(--tdb-rule);counter-reset:ra-toc;margin:0;padding:0;list-style:none}.ra-toc li{border-bottom:1px solid var(--tdb-rule);counter-increment:ra-toc}.ra-toc a{color:var(--tdb-muted);align-items:baseline;gap:.55rem;padding:.42rem .35rem;font-size:.8rem;text-decoration:none;display:flex}.ra-toc a:before{content:counter(ra-toc);min-width:.9rem;font-family:var(--tdb-font-code);color:var(--tdb-faint);text-align:right;font-size:.62rem}.ra-toc-label{flex:1;min-width:0}.ra-toc-count{font-family:var(--tdb-font-code);color:var(--tdb-faint);font-variant-numeric:tabular-nums;font-size:.6rem}.ra-toc a:hover{background:color-mix(in srgb, var(--tdb-accent-soft) 55%, transparent);color:var(--tdb-ink)}.ra-mobile-toc{display:none}.ra-agent{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-surface);padding:.65rem}.ra-agent-copy{color:var(--tdb-muted);margin:0 0 .5rem;font-size:.68rem;line-height:1.5}.ra-agent-command code{max-height:6.5rem;overflow-y:auto}.ra-agent-link{color:var(--tdb-accent);margin-top:.5rem;font-size:.68rem;font-weight:600;text-decoration:none;display:inline-block}.ra-agent-link:hover{text-underline-offset:.15em;text-decoration:underline}.ra-rail-slot{gap:1.4rem;display:grid}.ra-rail-slot:empty{display:none}.ra-rail-slot .statement-v2-aside-section{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-surface);padding:.65rem}.ra-main{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-surface);min-width:0;padding:1.6rem 2rem 2.4rem}.ra-head{border-bottom:1px solid var(--tdb-rule-strong);margin-bottom:1rem;padding-bottom:.6rem}.ra-head-meta{flex-wrap:wrap;align-items:center;gap:.6rem;margin-bottom:.6rem;display:flex}.ra-status{background:var(--tdb-accent-soft);color:var(--tdb-accent);border-radius:999px;padding:.16rem .45rem;font-size:.6rem;font-weight:650;line-height:1.25;display:inline-flex}.ra-status[data-state*=solved],.ra-status[data-state*=proven],.ra-status[data-state*=verified],.ra-status[data-state*=resolved]{background:var(--tdb-positive-soft);color:var(--tdb-positive)}.ra-status[data-state*=refuted],.ra-status[data-state*=false]{background:var(--tdb-negative-soft);color:var(--tdb-negative)}.ra-head-checked{font-family:var(--tdb-font-code);color:var(--tdb-faint);font-size:.58rem}.ra-title{letter-spacing:-.03em;max-width:34ch;color:var(--tdb-ink);margin:0;font-size:clamp(1.45rem,2.6vw,1.95rem);font-weight:650;line-height:1.12}.ra-problem{max-width:66rem;padding:1rem 1.15rem}.ra-article{min-width:0;max-width:52rem}.ra-h2{border-bottom:1px solid var(--tdb-rule);letter-spacing:-.015em;color:var(--tdb-ink);align-items:baseline;gap:.6rem;margin:0 0 .75rem;padding-bottom:.4rem;scroll-margin-top:4.25rem;font-size:1.02rem;font-weight:660;display:flex}.ra-h2-num{font-family:var(--tdb-font-code);color:var(--tdb-accent);font-size:.7rem;font-weight:600}.ra-h3{color:var(--tdb-ink);margin:0 0 .45rem;font-size:.82rem;font-weight:660}.ra-section-note{color:var(--tdb-muted);margin:-.25rem 0 .85rem;font-size:.68rem;line-height:1.5}.ra-prose{max-width:68ch;color:var(--tdb-ink);margin:0 0 .75rem;font-size:.84rem;line-height:1.62}.ra-provenance-line{color:var(--tdb-muted);font-size:.74rem}.ra-notes,.ra-definitions{max-width:68ch;color:var(--tdb-ink);gap:.45rem;margin:0 0 .75rem;padding-left:1.1rem;font-size:.8rem;line-height:1.58;display:grid}.ra-definitions li{font-family:var(--tdb-font-math);font-size:.92rem}.ra-subblock{margin-top:1.25rem}.ra-state{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-canvas);grid-template-columns:repeat(auto-fit,minmax(10.5rem,1fr));margin:0 0 1rem;display:grid;overflow:hidden}.ra-state a{border-left:1px solid var(--tdb-rule);gap:.3rem;padding:.6rem .7rem;text-decoration:none;display:grid}.ra-state a:first-child{border-left:0}.ra-state a:hover{background:color-mix(in srgb, var(--tdb-accent-soft) 55%, transparent)}.ra-state span{font-family:var(--tdb-font-code);letter-spacing:.07em;text-transform:uppercase;font-size:.54rem;font-weight:650}.ra-state a[data-tone=positive] span{color:var(--tdb-positive)}.ra-state a[data-tone=negative] span{color:var(--tdb-negative)}.ra-state a[data-tone=accent] span{color:var(--tdb-accent)}.ra-state a[data-tone=warning] span,.ra-state a[data-tone=neutral] span{color:var(--tdb-warning)}.ra-state strong{color:var(--tdb-ink);font-size:.72rem;font-weight:620;line-height:1.35}.ra-fn{font-family:var(--tdb-font-interface);font-size:.62em}.ra-fn a{color:var(--tdb-accent);text-decoration:none}.ra-fn a:hover{text-decoration:underline}.ra-item{content-visibility:auto;contain-intrinsic-size:auto 10rem;margin:0 0 1.1rem;scroll-margin-top:4.25rem}.ra-item:last-child{margin-bottom:0}.ra-statement{padding:.95rem 1.1rem}.ra-statement-text{margin:0;font-size:.98rem;line-height:1.62}.ra-statement-text .katex-display{margin:.6rem 0;padding-block:.1rem;overflow:auto hidden}.ra-statement-label{font-variant:small-caps;letter-spacing:.02em;color:var(--tdb-accent-strong);font-weight:700}.ra-statement-name{color:var(--tdb-muted);font-style:italic}.ra-item[data-tone=negative] .ra-statement{border-color:color-mix(in srgb, var(--tdb-negative) 26%, transparent);background:var(--tdb-negative-soft)}.ra-item[data-tone=negative] .ra-statement-label{color:var(--tdb-negative)}.ra-example{border:1px solid var(--tdb-rule);border-left:3px solid color-mix(in srgb, var(--tdb-accent) 35%, var(--tdb-rule));border-radius:var(--tdb-radius);background:var(--tdb-canvas);max-width:68ch;font-family:var(--tdb-font-math);margin:0 0 .8rem;padding:.75rem .95rem}.ra-example .ra-statement-text{font-size:.94rem}.ra-acceptance{border:1px solid color-mix(in srgb, var(--tdb-accent) 24%, var(--tdb-rule));border-left:3px solid var(--tdb-accent);border-radius:var(--tdb-radius);background:var(--tdb-canvas);max-width:68ch;padding:.8rem 1rem}.ra-acceptance ul{gap:.5rem;margin:0;padding:0;list-style:none;display:grid}.ra-acceptance li{color:var(--tdb-ink);padding-left:1.2rem;font-size:.82rem;line-height:1.58;position:relative}.ra-acceptance li:before{content:"→";color:var(--tdb-accent);font-size:.78rem;position:absolute;left:0}.ra-route,.ra-artifact{border:1px solid var(--tdb-rule);border-left:3px solid var(--tdb-rule-strong);border-radius:var(--tdb-radius);background:var(--tdb-canvas);padding:.7rem .85rem}.ra-item[data-tone=negative] .ra-route{border-left-color:var(--tdb-negative)}.ra-item[data-tone=positive] .ra-route,.ra-item[data-tone=positive] .ra-artifact{border-left-color:var(--tdb-positive)}.ra-item[data-tone=accent] .ra-route{border-left-color:var(--tdb-accent)}.ra-route-head{flex-wrap:wrap;align-items:baseline;gap:.5rem;margin:0;display:flex}.ra-route-label{font-family:var(--tdb-font-code);letter-spacing:.05em;text-transform:uppercase;color:var(--tdb-muted);font-size:.58rem;font-weight:650}.ra-route-title{color:var(--tdb-ink);font-size:.84rem;font-weight:640}.ra-artifact-lang{font-family:var(--tdb-font-code);color:var(--tdb-faint);margin-left:auto;font-size:.56rem}.ra-route-summary{max-width:70ch;color:var(--tdb-muted);margin:.35rem 0 0;font-size:.76rem;line-height:1.55}.ra-artifact-path{font-family:var(--tdb-font-code);color:var(--tdb-faint);overflow-wrap:anywhere;margin:.4rem 0 0;font-size:.6rem}.ra-command{align-items:stretch;gap:.4rem;margin-top:.55rem;display:flex}.ra-command code{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-canvas);min-width:0;font-family:var(--tdb-font-code);color:var(--tdb-ink);white-space:pre-wrap;overflow-wrap:anywhere;flex:1;padding:.42rem .55rem;font-size:.62rem;line-height:1.5;overflow-x:auto}.ra-command button{border:1px solid var(--tdb-rule-strong);border-radius:var(--tdb-radius);background:var(--tdb-canvas);font:600 .62rem/1 var(--tdb-font-interface);color:var(--tdb-ink);cursor:pointer;flex:none;padding:.3rem .55rem}.ra-command button:hover{border-color:var(--tdb-accent);color:var(--tdb-accent)}.ra-formal{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-canvas);overflow:hidden}.ra-formal-head{border-bottom:1px solid var(--tdb-rule);background:var(--tdb-surface-strong);font-family:var(--tdb-font-code);letter-spacing:.06em;text-transform:uppercase;color:var(--tdb-muted);justify-content:space-between;align-items:center;gap:.75rem;padding:.35rem .65rem;font-size:.58rem;display:flex}.ra-formal-head code{text-transform:none;letter-spacing:0;color:var(--tdb-faint);overflow-wrap:anywhere}.ra-formal-code{font-family:var(--tdb-font-code);color:var(--tdb-ink);margin:0;padding:.65rem;font-size:.66rem;line-height:1.6;overflow-x:auto}.ra-formal .ra-route-summary{padding:.5rem .65rem .6rem}.ra-formal-caution{border-top:1px solid color-mix(in srgb, var(--tdb-warning) 25%, transparent);background:var(--tdb-warning-soft);color:var(--tdb-warning);margin:0;padding:.4rem .65rem;font-size:.66rem}.ra-detailfold{border-left:2px solid var(--tdb-rule);margin-top:.4rem;padding-left:.8rem}.ra-detailfold summary{cursor:pointer;width:fit-content;color:var(--tdb-accent);font-size:.66rem;font-weight:640;list-style:none}.ra-detailfold summary::-webkit-details-marker{display:none}.ra-detailfold summary:after{content:" +"}.ra-detailfold[open] summary:after{content:" −"}.ra-detailfold-body p{max-width:68ch;font-family:var(--tdb-font-math);color:var(--tdb-ink);margin:.5rem 0 0;font-size:.92rem;line-height:1.62}.ra-detailfold-body .katex-display{padding-block:.1rem;overflow:auto hidden}.ra-item-meta{flex-wrap:wrap;align-items:center;gap:.3rem .6rem;min-width:0;margin-top:.32rem;padding-left:.15rem;display:flex}.ra-dot{background:var(--tdb-rule-strong);border-radius:50%;width:.42rem;height:.42rem}.ra-dot[data-tone=positive]{background:var(--tdb-positive)}.ra-dot[data-tone=negative]{background:var(--tdb-negative)}.ra-dot[data-tone=accent]{background:var(--tdb-accent)}.ra-dot[data-tone=warning]{background:var(--tdb-warning)}.ra-caption{min-width:0;max-width:30rem;font-family:var(--tdb-font-code);color:var(--tdb-muted);text-overflow:ellipsis;white-space:nowrap;font-size:.58rem;overflow:hidden}.ra-article,.ra-section,.ra-subblock,.ra-item{min-width:0}.ra-notes li,.ra-detailfold-body p{overflow-wrap:anywhere}.ra-xref{color:var(--tdb-accent);font-size:.62rem;font-weight:600;text-decoration:none}.ra-xref:hover{text-underline-offset:.15em;text-decoration:underline}.ra-xref-note{color:var(--tdb-faint);font-weight:400}.ra-record-link{font-family:var(--tdb-font-code);color:var(--tdb-faint);margin-left:auto;font-size:.56rem;text-decoration:none}.ra-record-link:hover{color:var(--tdb-accent)}.ra-references{border-top:1px solid var(--tdb-rule);columns:2;column-rule:1px solid color-mix(in srgb, var(--tdb-rule) 62%, transparent);max-width:none;font-family:var(--tdb-font-math);color:color-mix(in srgb, var(--tdb-ink) 78%, transparent);column-gap:3rem;margin:0;padding:.7rem 0 0 1.45rem;font-size:.68rem;line-height:1.48;list-style:decimal}.ra-references li{break-inside:avoid;margin-bottom:.52rem;padding-left:.28rem}.ra-references li::marker{font-family:var(--tdb-font-code);color:var(--tdb-faint);font-size:.52rem}.ra-references li:target{background:var(--tdb-accent-soft)}.ra-references a{color:var(--tdb-accent-strong);overflow-wrap:anywhere;text-decoration:none}.ra-references a:hover{text-underline-offset:.15em;text-decoration:underline}.ra-ref-detail{font-family:var(--tdb-font-interface);color:var(--tdb-faint);margin-top:.12rem;font-size:.58rem;line-height:1.42;display:block}.ra-attribution{max-width:68ch;color:var(--tdb-faint);margin:.8rem 0 0;font-size:.64rem;line-height:1.5}#ra-integrity-slot:empty{display:none}#ra-integrity-slot .statement-v2-integrity{margin-bottom:1.4rem}@media (width<=860px){.ra-toc--rail{display:none}.ra-mobile-toc{margin:-.85rem 0 1.25rem;display:block}.ra-mobile-toc .ra-toc-title{margin-bottom:.3rem}.ra-shell{grid-template-columns:minmax(0,1fr);gap:1.5rem}.ra-rail{min-width:0;max-height:none;position:static;overflow:visible}.ra-main{min-width:0;padding:1rem 1rem 1.6rem}.ra-caption{text-overflow:clip;white-space:normal;overflow-wrap:anywhere;max-width:100%}.ra-references{columns:1}}@media print{.ra-rail{display:none}.ra-main{border:0;padding:0}.ra-tabs,.ra-handoff{display:none}.ra-panel[hidden]:not([aria-hidden=true]){display:block}.ra-panel[data-print-heading]:before{content:attr(data-print-heading);border-bottom:2px solid #000;margin:1.6rem 0 .8rem;padding-bottom:.3rem;font-size:1.1rem;font-weight:700;display:block}.ra-detailfold,.ra-item--compact,.ra-legend,.ra-map-loose{display:block}.ra-detailfold>summary,.ra-legend>summary{list-style:none}}.ra-infobox-title{background:var(--tdb-accent);color:#fff}.ra-h2{border-bottom:1px solid var(--tdb-rule-strong);font-size:1.08rem;font-weight:700}.ra-toc a[aria-current=true]{box-shadow:inset 2px 0 0 var(--tdb-accent);background:color-mix(in srgb, var(--tdb-accent-soft) 70%, transparent);color:var(--tdb-ink);font-weight:650}.ra-toc a[aria-current=true]:before{color:var(--tdb-accent)}.ra-statement{border-color:color-mix(in srgb, var(--tdb-accent) 34%, transparent)}.ra-problem{border-color:color-mix(in srgb, var(--tdb-accent) 40%, transparent);box-shadow:inset 3px 0 0 var(--tdb-accent)}.ra-statement-label{font-size:.94em}.ra-item[data-kind=conjecture] .ra-statement,.ra-item[data-kind=question] .ra-statement{background:color-mix(in srgb, var(--tdb-accent-soft) 55%, var(--tdb-canvas));border-style:dashed}.ra-definition{border-radius:var(--tdb-radius);max-width:68ch;font-family:KaTeX_Main, var(--tdb-font-math);background:#eef0fb;border:1px solid #d5daf3;margin:0 0 .8rem;padding:.75rem .95rem}.ra-definition .ra-statement-text{font-size:.94rem}.ra-definition .ra-statement-label{color:#3a4796}.ra-example{background:var(--tdb-surface-strong,#f1f1ec);border-color:#dcd7c9;border-left-style:solid;border-left-width:1px}.ra-example .ra-statement-label{color:#6b5a2e}.ra-item[data-kind=computation] .ra-statement{border-color:color-mix(in srgb, var(--tdb-positive) 30%, transparent);background:var(--tdb-positive-soft)}.ra-item[data-kind=computation] .ra-statement-label{color:var(--tdb-positive)}.ra-item[data-kind=claim] .ra-statement,.ra-item[data-kind=note] .ra-statement{border-color:color-mix(in srgb, var(--tdb-warning) 28%, transparent);background:var(--tdb-warning-soft)}.ra-item[data-kind=claim] .ra-statement-label,.ra-item[data-kind=note] .ra-statement-label{color:var(--tdb-warning)}.ra-main,.ra-route,.ra-artifact,.ra-formal,.ra-item--compact,.ra-state,.ra-acceptance,.rr-facts,.rr-series-point{background:var(--tdb-surface)}.ra-formal-code{background:var(--tdb-canvas)}.ra-notes,.ra-definitions{font-size:.9rem;line-height:1.62}.ra-state a{border-top:2px solid #0000}.ra-state a[data-tone=positive]{border-top-color:var(--tdb-positive)}.ra-state a[data-tone=negative]{border-top-color:var(--tdb-negative)}.ra-state a[data-tone=accent]{border-top-color:var(--tdb-accent)}.ra-state a[data-tone=warning],.ra-state a[data-tone=neutral]{border-top-color:var(--tdb-warning)}.ra-state strong{font-size:.74rem}.ra-item .ra-item-meta{opacity:.55;transition:opacity .12s}.ra-item:hover .ra-item-meta,.ra-item:focus-within .ra-item-meta{opacity:1}.ra-selflink{color:inherit;text-decoration:none}.ra-selflink:hover{text-underline-offset:.18em;text-decoration:underline}.ra-item:target .ra-statement,.ra-item:target .ra-route,.ra-item:target .ra-artifact,.ra-item:target .ra-formal{outline:2px solid color-mix(in srgb, var(--tdb-accent) 45%, transparent);outline-offset:2px}.ra-seealso{border-top:1px solid var(--tdb-rule);max-width:68ch;margin:0;padding:0;list-style:none}.ra-seealso li{border-bottom:1px solid var(--tdb-rule);justify-content:space-between;align-items:baseline;gap:1rem;padding:.5rem .15rem;display:flex}.ra-seealso a{color:var(--tdb-ink);font-size:.82rem;font-weight:620;text-decoration:none}.ra-seealso a:hover{color:var(--tdb-accent);text-underline-offset:.16em;text-decoration:underline}.ra-seealso span{font-family:var(--tdb-font-code);color:var(--tdb-faint);flex:none;font-size:.56rem}.ra-cite{max-width:68ch;margin-top:1.3rem}.ra-cite .ra-command{margin-top:.35rem}.ra-colophon{max-width:68ch;color:var(--tdb-faint);margin:1.1rem 0 0;font-size:.64rem;line-height:1.55}.ra-packet-review-notice{border:1px solid color-mix(in srgb, var(--tdb-warning) 32%, var(--tdb-rule));border-radius:var(--tdb-radius);background:var(--tdb-warning-soft);color:var(--tdb-ink);margin:.75rem 0 1rem;padding:.7rem .8rem}.ra-packet-review-notice strong{font-size:.78rem;display:block}.ra-packet-review-notice p{color:var(--tdb-muted);margin:.25rem 0 0;font-size:.75rem;line-height:1.5}.ra-article,.ra-problem,.ra-prose,.ra-notes,.ra-definitions,.ra-example,.ra-definition,.ra-acceptance,.ra-seealso,.ra-route-summary,.ra-detailfold-body p,.ra-cite,.ra-attribution,.ra-colophon{max-width:none}.ra-lead{font-size:.98rem}.ra-statement-text{font-size:1.04rem}.ra-problem .ra-statement-text{font-size:1.08rem}.ra-problem{padding:1.15rem 1.35rem}.ra-route-summary{color:color-mix(in srgb, var(--tdb-ink) 82%, transparent);font-size:.8rem}.ra-route-title{font-size:.9rem}.ra-detailfold summary{font-size:.72rem}.ra-detailfold-body p{font-size:.96rem}.ra-example .ra-statement-text,.ra-definition .ra-statement-text{font-size:.98rem}.ra-acceptance li{font-size:.88rem}.ra-caption{max-width:34rem;font-size:.64rem}.ra-record-link,.ra-route-label,.ra-head-checked{font-size:.62rem}.ra-toc-count{font-size:.64rem}.ra-infobox-live{font-size:.62rem}.ra-attribution,.ra-colophon{font-size:.7rem}.ra-figure-sizes button{font-size:.6rem}.ra-seealso span{font-size:.62rem}.ra-state span{font-size:.58rem}.ra-artifact-lang{font-size:.6rem}.ra-artifact-path{font-size:.64rem}.ra-infobox-row{font-size:.7rem}.ra-infobox-row dd.is-mono{font-size:.62rem}.ra-item[data-kind=theorem] .ra-statement-text,.ra-item[data-kind=proposition] .ra-statement-text,.ra-item[data-kind=conjecture] .ra-statement-text{font-style:italic}.ra-item .ra-statement-label,.ra-item .ra-statement-name{font-style:normal}.ra-statement-name{font-style:italic}.ra-item[data-kind=theorem] .ra-detailfold-body>p:last-child:after{content:"  ∎";color:var(--tdb-muted)}.ra-h2-note{font-family:var(--tdb-font-interface);letter-spacing:0;color:var(--tdb-muted);text-align:right;max-width:46%;margin-left:auto;font-size:.66rem;font-weight:450;line-height:1.4}.ra-kind-group{margin-bottom:1.4rem}.ra-kind-group .ra-h3{letter-spacing:.05em;text-transform:uppercase;color:var(--tdb-muted);margin:0 0 .6rem;font-size:.72rem;font-weight:680}.ra-xref{font-weight:650}.ra-xref-note{display:none}.ra-flag{background:var(--tdb-accent);color:#fff;font:650 .56rem/1.3 var(--tdb-font-interface);letter-spacing:.04em;text-transform:uppercase;border-radius:999px;padding:.08rem .4rem;display:inline-flex}.ra-statement .ra-flag{vertical-align:.1em;margin-left:.45rem}.ra-item[data-shape=statement] .ra-item-meta{padding-left:1.1rem}.ra-item[data-shape=route] .ra-item-meta,.ra-item[data-shape=artifact] .ra-item-meta{padding-left:.85rem}.ra-ref-primary{color:var(--tdb-ink);font-style:normal;font-weight:650}.ra-title,.ra-h2{text-wrap:balance}.ra-prose,.ra-statement-text,.ra-route-summary,.ra-detailfold-body p{text-wrap:pretty}@media (prefers-reduced-motion:no-preference){html:has(.statement-v2--article){scroll-behavior:smooth}}.ra-section{margin-bottom:2.2rem}.ra-item{margin-bottom:.95rem}.ra-item--compact{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-canvas);contain-intrinsic-size:auto 2.6rem;margin:0 0 .3rem}.ra-item--compact summary{cursor:pointer;align-items:center;gap:.5rem;padding:.42rem .6rem;list-style:none;display:flex}.ra-item--compact summary::-webkit-details-marker{display:none}.ra-item--compact summary:hover{background:color-mix(in srgb, var(--tdb-accent-soft) 45%, transparent)}.ra-row-label{font-family:var(--tdb-font-code);letter-spacing:.05em;text-transform:uppercase;color:var(--tdb-muted);white-space:nowrap;flex:none;font-size:.6rem;font-weight:650}.ra-row-title{min-width:0;color:var(--tdb-ink);text-overflow:ellipsis;white-space:nowrap;flex:1;font-size:.82rem;font-weight:620;overflow:hidden}.ra-row-caret{border-right:1.5px solid var(--tdb-faint);border-bottom:1.5px solid var(--tdb-faint);flex:none;width:.5rem;height:.5rem;transition:transform .12s;transform:rotate(45deg)}.ra-item--compact[open] .ra-row-caret{transform:rotate(225deg)}.ra-row-body{border-top:1px solid color-mix(in srgb, var(--tdb-rule) 60%, transparent);padding:.15rem .65rem .65rem 1.55rem}.ra-row-summary{color:var(--tdb-ink);text-wrap:pretty;margin:.45rem 0 0;font-size:.85rem;line-height:1.6}.ra-row-body .ra-command{margin-top:.5rem}.ra-row-body .ra-formal-code{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-surface-strong);margin-top:.5rem}.ra-row-body .ra-detailfold-body p{font-size:.92rem}.ra-row-body .ra-item-meta{padding-left:0}.ra-item--compact .ra-item-meta{opacity:1}@media (width<=860px){.ra-article .katex{vertical-align:middle;max-width:100%;display:inline-block;overflow:auto hidden}.ra-toc ol{scrollbar-width:none;border-top:0;gap:.35rem;padding-bottom:.25rem;display:flex;overflow-x:auto}.ra-toc li{border:1px solid var(--tdb-rule);border-radius:999px;flex:none}.ra-toc a{white-space:nowrap;padding:.3rem .65rem;font-size:.72rem}.ra-toc a:before,.ra-toc-count{display:none}.ra-toc a[aria-current=true]{box-shadow:none;border-radius:999px}.ra-h2-note{display:none}}.wiki-article{counter-reset:wiki-section;max-width:46rem}.wiki-lead{color:var(--tdb-muted);margin-bottom:0}.wiki-article>.ra-section>.ra-h2:before{counter-increment:wiki-section;content:counter(wiki-section);font-family:var(--tdb-font-code);color:var(--tdb-accent);font-size:.7rem;font-weight:600}.wiki-article p{max-width:68ch;color:var(--tdb-ink);margin:0 0 .8rem;font-size:.95rem;line-height:1.7}.wiki-article p:last-child{margin-bottom:0}.wiki-article a{color:var(--tdb-accent);text-underline-offset:.16em}.wiki-article a.tdb2-button,.wiki-article a.tdb2-button:hover{color:#fff}.wiki-article code{font-family:var(--tdb-font-code);border-radius:var(--tdb-radius);background:var(--tdb-accent-soft);color:var(--tdb-accent-strong);padding:.05rem .25rem;font-size:.82em}.wiki-list{max-width:68ch;color:var(--tdb-ink);margin:0 0 .8rem;padding-left:1.15rem;font-size:.95rem;line-height:1.62}.wiki-list li{margin-bottom:.35rem}.wiki-list li::marker{color:var(--tdb-faint)}.wiki-dl{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-rule);gap:1px;max-width:68ch;margin:0 0 .9rem;display:grid;overflow:hidden}.wiki-dl>div{background:var(--tdb-surface);padding:.6rem .75rem}.wiki-dl dt{letter-spacing:.04em;text-transform:uppercase;color:var(--tdb-accent);margin-bottom:.15rem;font-size:.72rem;font-weight:700}.wiki-dl dd{color:var(--tdb-ink);margin:0;font-size:.88rem;line-height:1.58}.wiki-dl dd a{color:var(--tdb-accent)}.wiki-callout{border:1px solid color-mix(in srgb, var(--tdb-accent) 22%, transparent);border-radius:var(--tdb-radius);background:var(--tdb-accent-soft);border-left-width:3px;max-width:68ch;margin:0 0 .9rem;padding:.85rem 1rem}.wiki-callout p{color:var(--tdb-accent-strong);font-size:.9rem}.wiki-related ul{gap:.1rem;margin:0;padding:0;list-style:none;display:grid}.wiki-related a{border-radius:var(--tdb-radius);color:var(--tdb-muted);padding:.24rem .4rem;font-size:.76rem;text-decoration:none;display:block}.wiki-related a:before{display:none}.wiki-related a:hover{background:var(--tdb-accent-soft);color:var(--tdb-accent)}@media (width<=860px){.wiki-related{display:none}}.wiki-md{counter-reset:wiki-section;max-width:46rem;color:var(--tdb-ink);font-size:.95rem;line-height:1.7}.wiki-md>h2{border-bottom:1px solid var(--tdb-rule);letter-spacing:-.015em;align-items:baseline;gap:.6rem;margin:2.3rem 0 .75rem;padding-bottom:.4rem;scroll-margin-top:4.25rem;font-size:1.02rem;font-weight:660;display:flex}.wiki-md>h2:before{counter-increment:wiki-section;content:counter(wiki-section);font-family:var(--tdb-font-code);color:var(--tdb-accent);font-size:.7rem;font-weight:600}.wiki-md>h2:first-child{margin-top:0}.wiki-md h3{margin:1.3rem 0 .4rem;scroll-margin-top:4.25rem;font-size:.88rem;font-weight:660}.wiki-md h4{color:var(--tdb-muted);margin:1rem 0 .3rem;font-size:.82rem;font-weight:660}.wiki-md p{max-width:68ch;margin:0 0 .8rem}.wiki-md ul,.wiki-md ol{max-width:68ch;margin:0 0 .9rem;padding-left:1.3rem}.wiki-md li{margin-bottom:.35rem}.wiki-md li::marker{color:var(--tdb-faint)}.wiki-md li>ul,.wiki-md li>ol{margin:.35rem 0 0}.wiki-md a{color:var(--tdb-accent);text-underline-offset:.16em}.wiki-md .md-unlinked{color:var(--tdb-muted)}.wiki-md code{font-family:var(--tdb-font-code);border-radius:var(--tdb-radius);background:var(--tdb-accent-soft);color:var(--tdb-accent-strong);overflow-wrap:anywhere;padding:.05rem .25rem;font-size:.82em}.wiki-md pre{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-surface);margin:0 0 .9rem;padding:.75rem .9rem;overflow-x:auto}.wiki-md pre code{color:var(--tdb-ink);background:0 0;padding:0;font-size:.76rem;line-height:1.6}.wiki-md blockquote{border-left:3px solid var(--tdb-accent-soft);color:var(--tdb-muted);margin:0 0 .9rem;padding:.15rem 0 .15rem .9rem}.wiki-md table{border-collapse:collapse;width:100%;margin:0 0 1rem;font-size:.84rem}.wiki-md thead th{border-bottom:1px solid var(--tdb-rule-strong);background:var(--tdb-surface);letter-spacing:.04em;text-transform:uppercase;color:var(--tdb-muted);text-align:left;padding:.4rem .6rem;font-size:.7rem;font-weight:700}.wiki-md tbody td{border-bottom:1px solid var(--tdb-rule);vertical-align:top;padding:.45rem .6rem}.wiki-md hr{border:0;border-top:1px solid var(--tdb-rule);margin:1.6rem 0}.wiki-md>table,.wiki-md .table-scroll{display:block;overflow-x:auto}.wiki-dl-stamp{font-family:var(--tdb-font-code);color:var(--tdb-faint);margin-top:.2rem;font-size:.64rem;display:block}.ra-tabs{border-bottom:1px solid var(--tdb-rule);gap:.35rem;margin:-.4rem 0 1.5rem;display:flex}.ra-tabs button{border-radius:var(--tdb-radius) var(--tdb-radius) 0 0;font:inherit;color:var(--tdb-muted);cursor:pointer;background:0 0;border:1px solid #0000;border-bottom-width:2px;align-items:center;gap:.4rem;margin-bottom:-1px;padding:.45rem .75rem;font-size:.82rem;font-weight:600;display:inline-flex}.ra-tabs button:hover{color:var(--tdb-ink);background:color-mix(in srgb, var(--tdb-accent-soft) 55%, transparent)}.ra-tabs button:disabled,.ra-tabs button[aria-disabled=true]{background:color-mix(in srgb, var(--tdb-surface-strong) 62%, transparent);color:var(--tdb-faint);cursor:default;opacity:.62}.ra-tabs button:disabled:hover,.ra-tabs button[aria-disabled=true]:hover{background:color-mix(in srgb, var(--tdb-surface-strong) 62%, transparent);color:var(--tdb-faint)}.ra-tabs button[aria-selected=true]{border-bottom-color:var(--tdb-accent);color:var(--tdb-accent)}.ra-tab-count{background:var(--tdb-accent-soft);font-family:var(--tdb-font-code);color:var(--tdb-accent);font-variant-numeric:tabular-nums;border-radius:999px;padding:.02rem .35rem;font-size:.62rem;font-weight:600}.ra-tabs button[aria-selected=false] .ra-tab-count{background:var(--tdb-surface-strong);color:var(--tdb-muted)}.ra-panel[hidden]{display:none}.ra-toc .ra-toc-title+ol{margin-bottom:1rem}.ra-toc .ra-toc-title~.ra-toc-title{margin-top:.2rem}@media (width<=860px){.ra-tabs{z-index:2;scrollbar-width:thin;background:var(--tdb-surface);flex-wrap:nowrap;position:sticky;top:3.25rem;overflow-x:auto}.ra-tabs button{flex:none}}.lean-dag{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-canvas);overflow:hidden}.lean-dag-summary{border-bottom:1px solid var(--tdb-rule);background:var(--tdb-surface-strong);justify-content:space-between;align-items:center;gap:1rem;padding:.9rem 1rem;display:flex}.lean-dag-kicker{font-family:var(--tdb-font-code);letter-spacing:.06em;text-transform:uppercase;color:var(--tdb-negative);margin:0 0 .18rem;font-size:.62rem;font-weight:700}.lean-dag-lead{color:var(--tdb-ink);margin:0;font-size:.84rem}.lean-dag-total{border:1px solid color-mix(in srgb, var(--tdb-negative) 30%, var(--tdb-rule));background:var(--tdb-negative-soft);font-family:var(--tdb-font-code);color:var(--tdb-negative);border-radius:999px;flex:none;padding:.12rem .48rem;font-size:.62rem;font-weight:700}.lean-dag-total[data-verified=true]{border-color:color-mix(in srgb, var(--tdb-positive) 35%, var(--tdb-rule));background:var(--tdb-positive-soft);color:var(--tdb-positive)}.lean-live-verification-card .lean-reproduction-facts,.lean-live-verification-card .lean-blueprint-code{margin:.9rem}.lean-blueprint-legend--standalone{border-top:1px solid var(--tdb-rule)}.lean-blueprint-legend{border-bottom:1px solid var(--tdb-rule);background:var(--tdb-surface)}.lean-blueprint-legend summary{cursor:pointer;width:max-content;font-family:var(--tdb-font-code);color:var(--tdb-muted);padding:.48rem .9rem;font-size:.62rem;font-weight:700}.lean-blueprint-legend-body{border-top:1px solid var(--tdb-rule);grid-template-columns:repeat(auto-fit,minmax(13rem,1fr));gap:.45rem 1rem;padding:.75rem .9rem;display:grid}.lean-blueprint-legend-body p{color:var(--tdb-muted);align-items:center;gap:.45rem;margin:0;font-size:.68rem;line-height:1.35;display:flex}.lean-legend-shape,.lean-legend-color{border:2px solid var(--tdb-rule-strong);background:var(--tdb-canvas);flex:none;width:1.65rem;height:.78rem;display:inline-block}.lean-legend-ellipse{border-radius:50%}.lean-legend-box{border-radius:1px}.lean-blueprint-canvas{background:var(--tdb-canvas);overflow-x:auto}.lean-blueprint-canvas:focus-visible{outline:2px solid var(--tdb-accent);outline-offset:-2px}.lean-blueprint-graph{width:max(100%, var(--lean-graph-min-width));height:auto;min-height:12rem;display:block}.lean-blueprint-edges path{fill:none;stroke:color-mix(in srgb, var(--tdb-ink) 45%, transparent);stroke-width:1.1px}.lean-blueprint-edges marker path{fill:color-mix(in srgb, var(--tdb-ink) 70%, transparent)}.lean-blueprint-node{cursor:pointer;outline:none}.lean-blueprint-node>rect,.lean-blueprint-node>ellipse{fill:var(--tdb-canvas);stroke:#179447;stroke-width:1.5px;transition:filter .12s,stroke-width .12s}.lean-blueprint-node[data-root=true]>rect,.lean-blueprint-node[data-root=true]>ellipse{stroke-width:2.6px}.lean-blueprint-node:hover>rect,.lean-blueprint-node:hover>ellipse,.lean-blueprint-node:focus-visible>rect,.lean-blueprint-node:focus-visible>ellipse{filter:drop-shadow(0 2px 3px #0f172a29);stroke-width:2.6px}.lean-blueprint-node-label{pointer-events:none;fill:#132118;font-family:var(--tdb-font-code);letter-spacing:-.01em;font-size:10.5px;font-weight:600}.lean-blueprint-node-state{letter-spacing:0;font-size:9px;font-weight:520}.lean-blueprint-node[data-blueprint-state=not-ready]>rect,.lean-blueprint-node[data-blueprint-state=not-ready]>ellipse,.lean-legend-color[data-blueprint-state=not-ready]{fill:#fff;stroke:#fa3;background:#fff;border-color:#fa3}.lean-blueprint-node[data-blueprint-state=can-state]>rect,.lean-blueprint-node[data-blueprint-state=can-state]>ellipse,.lean-legend-color[data-blueprint-state=can-state]{fill:#fff;stroke:#287bc1;background:#fff;border-color:#287bc1}.lean-blueprint-node[data-blueprint-state=stated]>rect,.lean-blueprint-node[data-blueprint-state=stated]>ellipse,.lean-legend-color[data-blueprint-state=stated]{fill:#fff;stroke:#179447;background:#fff;border-color:#179447}.lean-blueprint-node[data-blueprint-state=can-prove]>rect,.lean-blueprint-node[data-blueprint-state=can-prove]>ellipse,.lean-legend-color[data-blueprint-state=can-prove]{fill:#a3d6ff;stroke:#179447;background:#a3d6ff;border-color:#179447}.lean-blueprint-node[data-blueprint-state=proved]>rect,.lean-blueprint-node[data-blueprint-state=proved]>ellipse,.lean-legend-color[data-blueprint-state=proved]{fill:#9cec8b;stroke:#179447;background:#9cec8b;border-color:#179447}.lean-blueprint-node[data-blueprint-state=defined]>rect,.lean-blueprint-node[data-blueprint-state=defined]>ellipse,.lean-legend-color[data-blueprint-state=defined]{fill:#b0eca3;stroke:#179447;background:#b0eca3;border-color:#179447}.lean-blueprint-node[data-blueprint-state=fully-proved]>rect,.lean-blueprint-node[data-blueprint-state=fully-proved]>ellipse,.lean-legend-color[data-blueprint-state=fully-proved]{fill:#1cac78;stroke:#08773c;background:#1cac78;border-color:#08773c}.lean-blueprint-node[data-blueprint-state=fully-proved] .lean-blueprint-node-label{fill:#062c1d}.lean-blueprint-single{padding:.9rem 1rem 1rem}.lean-blueprint-single-head{justify-content:space-between;align-items:flex-start;gap:1rem;margin-bottom:.75rem;display:flex}.lean-blueprint-single-kind{font-family:var(--tdb-font-code);letter-spacing:.06em;text-transform:uppercase;color:var(--tdb-faint);margin:0;font-size:.6rem;font-weight:700}.lean-blueprint-single-head h4{font-family:var(--tdb-font-code);color:var(--tdb-ink);overflow-wrap:anywhere;margin:.2rem 0 0;font-size:.95rem;font-weight:650}.lean-blueprint-single-title{color:var(--tdb-muted);margin:.25rem 0 0;font-size:.78rem}.lean-blueprint-single .lean-blueprint-code{margin:0}.lean-blueprint-single-facts{grid-template-columns:repeat(auto-fit,minmax(14rem,max-content));gap:.3rem 1.25rem;margin:.8rem 0 0;display:grid}.lean-blueprint-single-facts>div{gap:.5rem;min-width:0;display:flex}.lean-blueprint-single-facts dt{color:var(--tdb-faint);flex:none;font-size:.66rem;font-weight:640}.lean-blueprint-single-facts dd{overflow-wrap:anywhere;min-width:0;font-family:var(--tdb-font-code);color:var(--tdb-ink);margin:0;font-size:.64rem}.lean-blueprint-work--single{margin:.8rem 0 0}.lean-blueprint-direction{border-top:1px solid var(--tdb-rule);color:var(--tdb-faint);margin:0;padding:.48rem .9rem;font-size:.66rem}.lean-blueprint-open-list{border-top:1px solid var(--tdb-rule);background:var(--tdb-surface);padding:.7rem .9rem .85rem}.lean-blueprint-open-head{justify-content:space-between;align-items:baseline;gap:.75rem;display:flex}.lean-blueprint-open-head h4,.lean-blueprint-open-head p{margin:0}.lean-blueprint-open-head h4{font-family:var(--tdb-font-code);color:var(--tdb-ink);font-size:.68rem}.lean-blueprint-open-head p{color:var(--tdb-faint);font-size:.64rem}.lean-blueprint-open-list ul{grid-template-columns:repeat(auto-fit,minmax(15rem,1fr));gap:.4rem;margin:.55rem 0 0;padding:0;list-style:none;display:grid}.lean-blueprint-open-list button{border:1px solid var(--tdb-rule);background:var(--tdb-canvas);cursor:pointer;width:100%;color:var(--tdb-ink);text-align:left;border-radius:.28rem;justify-content:space-between;align-items:center;gap:.65rem;padding:.48rem .55rem;display:flex}.lean-blueprint-open-list button:hover,.lean-blueprint-open-list button:focus-visible{border-color:var(--tdb-accent);outline:2px solid color-mix(in srgb, var(--tdb-accent) 25%, transparent);outline-offset:1px}.lean-blueprint-open-list code{overflow-wrap:anywhere;min-width:0;font-family:var(--tdb-font-code);font-size:.63rem}.lean-blueprint-open-list button span{font-family:var(--tdb-font-code);color:var(--tdb-accent-strong);flex:none;font-size:.56rem;font-weight:700}.lean-reproduction{border-top:1px solid var(--tdb-rule);background:var(--tdb-surface);padding:1rem}.lean-reproduction-head{justify-content:space-between;align-items:flex-start;gap:1rem;display:flex}.lean-reproduction-head h3,.lean-reproduction-head p{margin:0}.lean-reproduction-head h3{font-family:var(--tdb-font-math);color:var(--tdb-ink);font-size:1.05rem;font-weight:650}.lean-reproduction-head h3+p{max-width:42rem;color:var(--tdb-muted);margin-top:.28rem;font-size:.76rem;line-height:1.45}.lean-reproduction-actions{flex:none;align-items:center;gap:.7rem;display:flex}.lean-reproduction-actions .tdb2-button{min-height:2rem;padding:.42rem .7rem;font-size:.68rem}.lean-reproduction-actions>a:not(.tdb2-button){font-size:.66rem;font-weight:700}.lean-reproduction-grid{grid-template-columns:minmax(15rem,.8fr) minmax(20rem,1.2fr);gap:.85rem;margin-top:.85rem;display:grid}.lean-reproduction-facts{border:1px solid var(--tdb-rule);background:var(--tdb-surface-strong);align-content:start;margin:0;display:grid}.lean-reproduction-facts>div{border-bottom:1px solid var(--tdb-rule);grid-template-columns:6.7rem minmax(0,1fr);gap:.65rem;padding:.48rem .6rem;display:grid}.lean-reproduction-facts>div:last-child{border-bottom:0}.lean-reproduction-facts dt,.lean-reproduction-facts dd{font-family:var(--tdb-font-code);margin:0;font-size:.59rem;line-height:1.45}.lean-reproduction-facts dt{color:var(--tdb-faint);font-weight:700}.lean-reproduction-facts dd{color:var(--tdb-ink);overflow-wrap:anywhere}.lean-reproduction-command{background:#0d1525;border:1px solid #26344e;border-radius:.42rem;min-width:0;overflow:hidden}.lean-reproduction-command pre{background:0 0;margin:0;padding:.8rem;overflow-x:auto}.lean-reproduction-command code{font-family:var(--tdb-font-code);color:#e4eaf3;font-size:.66rem;line-height:1.65}.lean-reproduction-safety{border-left:3px solid var(--tdb-accent);color:var(--tdb-muted);margin:.75rem 0 0;padding:.2rem 0 .2rem .65rem;font-size:.67rem;line-height:1.5}.lean-blueprint-dialog{border:1px solid var(--tdb-rule-strong);background:var(--tdb-surface);width:min(54rem,100vw - 2rem);max-width:none;max-height:min(46rem,100dvh - 2rem);color:var(--tdb-ink);border-radius:.55rem;margin:auto;padding:0;display:none;position:fixed;inset:0;overflow:hidden;box-shadow:0 24px 72px #0f172a4d}.lean-blueprint-dialog[open]{flex-direction:column;display:flex}.lean-blueprint-dialog::backdrop{backdrop-filter:blur(2px);background:#0f172a7a}.lean-blueprint-dialog-head{border-bottom:1px solid var(--tdb-rule);background:var(--tdb-surface-strong);justify-content:space-between;align-items:flex-start;gap:1rem;padding:.85rem 1rem;display:flex}.lean-blueprint-dialog-head p,.lean-blueprint-dialog-head h3,.lean-blueprint-dialog-title,.lean-blueprint-dialog-status,.lean-blueprint-dialog .lean-dag-world,.lean-blueprint-dialog .lean-dag-dependencies{margin:0}.lean-blueprint-dialog-head p{font-family:var(--tdb-font-code);letter-spacing:.05em;text-transform:uppercase;color:var(--tdb-faint);margin-bottom:.18rem;font-size:.58rem;font-weight:700}.lean-blueprint-dialog-head h3{font-family:var(--tdb-font-code);color:var(--tdb-accent-strong);font-size:.85rem}.lean-blueprint-dialog-head button{border:1px solid var(--tdb-rule);background:var(--tdb-surface);cursor:pointer;width:2rem;height:2rem;color:var(--tdb-muted);border-radius:.3rem;place-items:center;padding:0;font-size:1.35rem;line-height:1;display:grid}.lean-blueprint-dialog-head button:hover{border-color:var(--tdb-accent);color:var(--tdb-accent-strong)}.lean-blueprint-dialog-body{flex:auto;min-height:0;padding:.95rem 1rem 1rem;overflow-y:auto}.lean-blueprint-dialog-title{font-family:var(--tdb-font-math);padding:0;font-size:.92rem;line-height:1.45}.lean-blueprint-dialog-status{width:max-content;font-family:var(--tdb-font-code);border:1px solid #179447;border-radius:999px;margin:0;padding:.12rem .48rem;font-size:.58rem;font-weight:700}.lean-blueprint-dialog-status[data-blueprint-state=not-ready]{background:#fff8eb;border-color:#fa3}.lean-blueprint-dialog-status[data-blueprint-state=can-state]{background:#eef7ff;border-color:#287bc1}.lean-blueprint-dialog-status[data-blueprint-state=can-prove]{background:#a3d6ff}.lean-blueprint-dialog-status[data-blueprint-state=proved]{background:#9cec8b}.lean-blueprint-dialog-status[data-blueprint-state=defined]{background:#b0eca3}.lean-blueprint-dialog-status[data-blueprint-state=fully-proved]{background:#1cac78;border-color:#08773c}.lean-blueprint-dialog .lean-dag-world{font-family:var(--tdb-font-code);color:var(--tdb-faint);overflow-wrap:anywhere;padding:0;font-size:.58rem}.lean-blueprint-dialog-meta{flex-wrap:wrap;align-items:center;gap:.5rem .75rem;margin-top:.65rem;display:flex}.lean-declaration-facts{border:1px solid var(--tdb-rule);background:var(--tdb-surface-strong);border-radius:.35rem;grid-template-columns:repeat(4,minmax(0,1fr));margin:.8rem 0 0;display:grid}.lean-declaration-facts>div{border-right:1px solid var(--tdb-rule);min-width:0;padding:.48rem .55rem}.lean-declaration-facts>div:last-child{border-right:0}.lean-declaration-facts dt,.lean-declaration-facts dd{overflow-wrap:anywhere;font-family:var(--tdb-font-code);margin:0}.lean-declaration-facts dt{text-transform:uppercase;color:var(--tdb-faint);font-size:.51rem;font-weight:700}.lean-declaration-facts dd{color:var(--tdb-ink);margin-top:.14rem;font-size:.61rem}.lean-blueprint-source-note{border-left:3px solid var(--tdb-positive);color:var(--tdb-muted);margin:.8rem 0 0;padding:.2rem 0 .2rem .62rem;font-size:.68rem;line-height:1.5}.lean-blueprint-code{background:#0d1525;border:1px solid #26344e;border-radius:.42rem;margin-top:.85rem;overflow:hidden;box-shadow:0 8px 24px #0f172a21}.lean-blueprint-code-head{font-family:var(--tdb-font-code);letter-spacing:.07em;text-transform:uppercase;color:#91a0b7;background:#131e31;border-bottom:1px solid #26344e;justify-content:space-between;align-items:center;padding:.5rem .75rem;font-size:.58rem;font-weight:700;display:flex}.lean-blueprint-code-head .copy-btn{cursor:pointer;font:inherit;color:#91a0b7;background:0 0;border:0;padding:.2rem .25rem}.lean-blueprint-code-head .copy-btn:hover{color:#fff}.lean-blueprint-code pre{max-height:25rem;margin:0;padding:1rem;overflow:auto;background:0 0!important}.lean-blueprint-code pre code{font-family:var(--tdb-font-code);font-size:.72rem;line-height:1.65}.lean-blueprint-work{border:1px solid var(--tdb-rule);background:var(--tdb-surface-strong);gap:.42rem;margin:.8rem 1rem 1rem;padding:.7rem;display:grid}.lean-blueprint-work>span{font-family:var(--tdb-font-code);letter-spacing:.05em;text-transform:uppercase;color:var(--tdb-faint);font-size:.58rem;font-weight:700}.lean-blueprint-work code{font-family:var(--tdb-font-code);overflow-wrap:anywhere;font-size:.65rem}.lean-blueprint-work a{width:fit-content;font-size:.68rem;font-weight:700}.lean-blueprint-dialog .lean-dag-dependencies{border-top:1px solid var(--tdb-rule);color:var(--tdb-muted);padding:.7rem 1rem;font-size:.66rem;line-height:1.45}.lean-blueprint-dialog .lean-dag-dependencies code{font-family:var(--tdb-font-code);color:var(--tdb-accent-strong)}@media (width<=680px){.lean-declaration-facts{grid-template-columns:repeat(2,minmax(0,1fr))}.lean-declaration-facts>div:nth-child(2){border-right:0}.lean-declaration-facts>div:nth-child(-n+2){border-bottom:1px solid var(--tdb-rule)}.lean-blueprint-graph{min-height:10rem}.lean-blueprint-dialog{width:calc(100vw - 1rem);max-height:calc(100dvh - 1rem)}.lean-blueprint-dialog-head h3{overflow-wrap:anywhere;max-width:calc(100vw - 5.5rem)}.lean-blueprint-dialog-body{padding:.8rem}.lean-reproduction-head,.lean-reproduction-actions{flex-direction:column;align-items:stretch}.lean-reproduction-grid{grid-template-columns:1fr}.lean-reproduction-actions .tdb2-button{justify-content:center;width:100%}}@keyframes lean-proof-breathe{50%{transform:scale(1.025)}}@keyframes lean-proof-twinkle{50%{opacity:.42}}@keyframes lean-proof-rise{0%{opacity:0;transform:translateY(5px)}to{opacity:1;transform:translateY(0)}}.ra-handoff{border:1px solid var(--tdb-rule);border-left:3px solid var(--tdb-accent);border-radius:var(--tdb-radius);background:var(--tdb-surface);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.9rem;margin-top:2rem;padding:.9rem 1.05rem;display:flex}.ra-handoff-title{letter-spacing:.04em;text-transform:uppercase;color:var(--tdb-muted);margin:0 0 .15rem;font-size:.72rem;font-weight:700}.ra-handoff-line{max-width:52ch;color:var(--tdb-ink);margin:0;font-size:.86rem;line-height:1.5}.ra-handoff button{border:1px solid var(--tdb-accent);border-radius:var(--tdb-radius);background:var(--tdb-canvas);font:inherit;color:var(--tdb-accent);cursor:pointer;white-space:nowrap;padding:.4rem .7rem;font-size:.8rem;font-weight:620}.ra-handoff button:hover{background:var(--tdb-accent);color:var(--tdb-canvas)}.ra-map{margin:0 0 1.6rem}.ra-map-root{height:24px;color:var(--tdb-ink);align-items:center;gap:.45rem;margin:0 0 .1rem;font-size:.88rem;font-weight:650;display:flex;position:relative}.ra-map-rootmark{position:absolute;top:0;left:0}.ra-map-root-kicker{font-family:var(--tdb-font-code);letter-spacing:.05em;text-transform:uppercase;color:var(--tdb-accent);font-size:.6rem;font-weight:600}.ra-map-canvas{position:relative}.ra-map-rails{position:absolute;top:0;left:0}.ra-map-list{margin:0;padding:0;list-style:none}.ra-map-row{height:32px}.ra-map-row a{border-radius:var(--tdb-radius);height:100%;color:var(--tdb-ink);grid-template-columns:auto minmax(0,1fr) auto auto;align-items:center;gap:.6rem;padding-right:.4rem;font-size:.8rem;text-decoration:none;display:grid}.ra-map-row a:hover{background:color-mix(in srgb, var(--tdb-accent-soft) 70%, transparent)}.ra-map-label{white-space:nowrap;color:var(--tdb-accent);font-weight:640}.ra-map-name{text-overflow:ellipsis;white-space:nowrap;min-width:0;font-family:KaTeX_Main, var(--tdb-font-math), Georgia, serif;font-size:.86rem;overflow:hidden}.ra-map-edge{color:var(--tdb-faint);white-space:nowrap;font-size:.62rem}.ra-map-grade{letter-spacing:.04em;text-transform:uppercase;white-space:nowrap;font-size:.56rem;font-weight:700}.ra-map-grade[data-tone=positive]{color:var(--tdb-positive)}.ra-map-grade[data-tone=accent]{color:var(--tdb-accent)}.ra-map-grade[data-tone=warning]{color:var(--tdb-warning)}.ra-map-grade[data-tone=negative]{color:var(--tdb-negative)}.ra-map-grade[data-tone=neutral]{color:var(--tdb-muted)}.ra-map-loose{border-top:1px solid var(--tdb-rule);color:var(--tdb-muted);margin-top:.5rem;padding-top:.45rem;font-size:.74rem}.ra-map-loose summary{cursor:pointer}.ra-map-loose ul{gap:.2rem;margin:.4rem 0 0;padding-left:1rem;display:grid}.ra-map-loose a{color:var(--tdb-ink);text-decoration:none}.ra-map-loose a:hover{color:var(--tdb-accent)}.ra-stamp{float:right;font-family:var(--tdb-font-interface);letter-spacing:.05em;text-transform:uppercase;cursor:help;border:1px solid;border-radius:999px;margin:0 0 .35rem .6rem;padding:.06rem .42rem;font-size:.56rem;font-weight:700}.ra-stamp[data-tone=positive]{color:var(--tdb-positive);background:var(--tdb-positive-soft)}.ra-stamp[data-tone=accent]{color:var(--tdb-accent);background:var(--tdb-accent-soft)}.ra-stamp[data-tone=warning]{color:var(--tdb-warning);background:var(--tdb-warning-soft)}.ra-stamp[data-tone=negative]{color:var(--tdb-negative);background:var(--tdb-negative-soft)}.ra-stamp[data-tone=neutral]{color:var(--tdb-muted);background:var(--tdb-surface-strong)}.ra-stamp--row{float:none;align-self:center;margin:0}.ra-legend{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-canvas);color:var(--tdb-muted);margin:0 0 1.5rem;padding:.5rem .75rem;font-size:.78rem}.ra-legend summary{cursor:pointer;font-weight:600}.ra-legend dl{gap:.3rem;margin:.55rem 0 .2rem;display:grid}.ra-legend dl>div{grid-template-columns:6.5rem minmax(0,1fr);align-items:baseline;gap:.6rem;display:grid}.ra-legend dt .ra-stamp{float:none;margin:0}.ra-legend dd{color:var(--tdb-ink);margin:0}.ra-detailfold[data-proof=true] .ra-detailfold-body{font-family:KaTeX_Main, var(--tdb-font-math), Georgia, serif;text-align:justify;hyphens:auto;font-size:.95rem;line-height:1.72}.ra-detailfold[data-proof=true] .ra-detailfold-body p+p{text-indent:1.2em;margin-top:.55rem}.ra-panel[data-ra-panel=outcome]{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-canvas);padding:1rem 1.1rem 1.15rem}.ra-panel[data-ra-panel=outcome] .ra-outcome-section{margin-bottom:0}.ra-panel[data-ra-panel=outcome] .ra-item>.ra-statement{border-color:var(--tdb-rule);background:var(--tdb-surface-strong);box-shadow:none}.ra-resolution-proof{border:1px solid color-mix(in srgb, var(--tdb-accent) 24%, var(--tdb-rule));border-left:3px solid var(--tdb-accent);border-radius:var(--tdb-radius);background:var(--tdb-accent-soft);margin-top:.9rem;padding:.85rem 1rem .95rem}.ra-resolution-status{align-self:center;margin-left:auto}.ra-resolution-proof .ra-detailfold{border-left:0;margin-top:0;padding-left:0}.ra-proof-lead{color:var(--tdb-accent-strong);font-style:italic;font-weight:600}.ra-proof-fn{font-family:var(--tdb-font-interface);margin-left:.12em;font-size:.72em;font-style:normal}.ra-proof-sources{border-top:1px solid var(--tdb-rule);max-width:68ch;font:.72rem/1.5 var(--tdb-font-interface);text-align:left;flex-wrap:wrap;gap:.35rem .65rem;margin-top:1rem;padding-top:.55rem;display:flex}.ra-proof-sources>span{color:var(--tdb-muted)}.ra-proof-sources ul{flex-wrap:wrap;gap:.35rem .75rem;margin:0;padding:0;list-style:none;display:flex}.ra-proof-sources a{color:var(--tdb-accent-strong);text-underline-offset:.15em;text-decoration-thickness:1px}.ra-qed{float:right;color:var(--tdb-accent);margin-left:.5rem}.ra-status-detail{color:var(--tdb-muted);font-size:.7rem}.ra-artifact-path{flex-wrap:wrap;align-items:baseline;gap:.45rem;display:flex}.ra-artifact-path em{color:var(--tdb-faint);font-size:.62rem;font-style:normal}@media (width<=860px){.ra-map-row a{grid-template-columns:minmax(0,auto) minmax(0,1fr)}.ra-map-edge,.ra-map-grade,.ra-map-row .ra-dot{display:none}}.ra-detailfold[data-proof=true]>summary{font-variant:small-caps;letter-spacing:.02em}@media (width<=40rem){.statement-v2.statement-v2--article{padding-inline:.75rem}.ra-main{padding:.9rem .85rem 1.4rem}.ra-title{max-width:none;font-size:1.35rem}.ra-infobox-row{grid-template-columns:5.5rem minmax(0,1fr);font-size:.72rem}.ra-map{padding:.7rem .65rem}.ra-map-row a{grid-template-columns:minmax(0,1fr);gap:.15rem;padding:.4rem .3rem}.ra-map-name{white-space:normal}.ra-statement,.ra-problem,.ra-acceptance,.ra-route,.ra-artifact,.ra-formal{padding:.7rem .75rem}.ra-stamp{float:none;margin:0 0 .4rem;display:inline-block}.ra-state{grid-template-columns:minmax(0,1fr)}.ra-handoff{flex-direction:column;align-items:flex-start}.ra-command code{font-size:.66rem}.ra-tabs button{padding:.45rem .55rem;font-size:.78rem}.ra-formal-code,.ra-command{overflow-x:auto}}.ra-empty{border:1px solid var(--tdb-rule);border-left:3px solid var(--tdb-accent);border-radius:var(--tdb-radius);background:var(--tdb-surface);margin-top:2rem;padding:1rem 1.15rem 1.1rem}.ra-empty-kicker{letter-spacing:.05em;text-transform:uppercase;color:var(--tdb-accent);margin:0 0 .35rem;font-size:.7rem;font-weight:700}.ra-empty-lead{max-width:62ch;color:var(--tdb-ink);margin:0 0 .7rem;font-size:.92rem;line-height:1.62}.ra-empty-steps{max-width:62ch;color:var(--tdb-muted);gap:.3rem;margin:0 0 .8rem;padding-left:1.2rem;font-size:.86rem;line-height:1.55;display:grid}.ra-empty-steps li::marker{color:var(--tdb-faint);font-family:var(--tdb-font-code);font-size:.75rem}.ra-empty-steps a,.ra-empty-foot a{color:var(--tdb-accent)}.ra-empty-steps code{font-family:var(--tdb-font-code);border-radius:var(--tdb-radius);background:var(--tdb-accent-soft);color:var(--tdb-accent-strong);padding:.02rem .22rem;font-size:.78em}.ra-empty-foot{max-width:62ch;color:var(--tdb-muted);margin:.7rem 0 0;font-size:.78rem;line-height:1.55}.ra-lean-contribution{margin-top:0}.ra-lean-contribution .ra-chatgpt-cta{width:fit-content;padding-inline:.85rem;font-size:.76rem}.ra-agent-ref{align-items:center;gap:.35rem;margin:.5rem 0 0;font-size:.6rem;display:flex}.ra-agent-ref span{font-family:var(--tdb-font-code);color:var(--tdb-faint)}.ra-agent-ref code{text-overflow:ellipsis;white-space:nowrap;min-width:0;font-family:var(--tdb-font-code);color:var(--tdb-ink);flex:auto;font-size:.6rem;overflow:hidden}.ra-agent-ref button{border:1px solid var(--tdb-rule);border-radius:var(--tdb-radius);background:var(--tdb-canvas);font:inherit;color:var(--tdb-muted);cursor:pointer;flex:none;padding:.05rem .3rem;font-size:.56rem}.ra-agent-ref button:hover{border-color:var(--tdb-accent);color:var(--tdb-accent)}.ra-research-link{font-family:var(--tdb-font-code);color:var(--tdb-accent);text-underline-offset:.16em;overflow-wrap:anywhere;font-size:.88em}.ra-artifact-path a{font-family:var(--tdb-font-code);color:var(--tdb-accent);overflow-wrap:anywhere;font-size:.68rem}.ra-evsum{color:var(--tdb-muted);flex-wrap:wrap;align-items:baseline;gap:.35rem .9rem;margin:0 0 .55rem;font-size:.72rem;display:flex}.ra-evsum-item{cursor:help;white-space:nowrap}.ra-evsum-item b{font-family:var(--tdb-font-code);font-variant-numeric:tabular-nums;font-weight:650}.ra-evsum-item[data-tone=positive] b{color:var(--tdb-positive)}.ra-evsum-item[data-tone=accent] b{color:var(--tdb-accent)}.ra-evsum-item[data-tone=warning] b{color:var(--tdb-warning)}.ra-evsum-item[data-tone=negative] b{color:var(--tdb-negative)}.ra-evsum-item[data-tone=neutral] b{color:var(--tdb-muted)}.ra-evsum-headline{white-space:normal;text-align:right;min-width:0;margin-left:auto}.ra-evsum-headline b[data-tone=positive]{color:var(--tdb-positive)}.ra-evsum-headline b[data-tone=accent]{color:var(--tdb-accent)}.ra-evsum-headline b[data-tone=warning]{color:var(--tdb-warning)}.ra-prose,.ra-notes,.ra-definitions,.ra-row-summary,.ra-route-summary,.ra-acceptance ul{font-family:KaTeX_Main, var(--tdb-font-math), Georgia, serif}.ra-prose{font-size:1.02rem;line-height:1.66}.ra-lead{font-size:1.06rem;font-weight:400}.ra-lead strong{font-weight:700}.ra-notes,.ra-definitions{font-size:.98rem}.ra-route-summary{font-size:.92rem}.ra-row-summary{font-size:.95rem}.ra-back--inline{display:none}@media (width<=860px){.ra-shell{flex-direction:column;align-items:stretch;display:flex}.ra-main{order:1;width:100%;max-width:100%}.ra-rail{order:2}.ra-rail>.ra-back{display:none}.ra-back--inline{margin-bottom:.9rem;display:inline-flex}.ra-chatgpt-cta--mobile{width:100%;margin-bottom:1rem;display:inline-flex}.ra-infobox-action{display:none}.ra-mobile-hero{width:min(100%,20rem);margin:0 auto 1rem;display:block}.ra-infobox>.ra-illustration,.ra-infobox>.ra-rail-problem-hero,.ra-infobox>.ra-flagship-matrix--rail{display:none}}.ra-synthesis{border:1px solid color-mix(in srgb, var(--tdb-accent) 16%, transparent);border-left:3px solid var(--tdb-accent);border-radius:var(--tdb-radius);background:color-mix(in srgb, var(--tdb-accent-soft) 62%, var(--tdb-canvas));max-width:68ch;margin:0 0 1rem;padding:.85rem 1.05rem}.ra-synthesis .ra-lead{margin:0}.ra-synthesis--bare{background:0 0;border:0;padding:0}.ra-record-head{margin:0 0 1.4rem}.ra-record-head .ra-evsum{margin-bottom:.35rem;font-size:.78rem}.ra-record-head .ra-legend{background:0 0;border:0;margin:0;padding:0;font-size:.72rem}.ra-map-fold .ra-map{border-top:1px solid var(--tdb-rule);background:var(--tdb-canvas);margin:0;padding:.75rem .85rem .85rem}@media (width<=40rem){.ra-map-edge,.ra-map-grade{display:none}.ra-map-row a{grid-template-columns:auto minmax(0,1fr)}}.ra-evsum-item[data-zero=true]{opacity:.5}.wiki-infobox-figure{border-bottom:1px solid var(--tdb-rule);background:var(--tdb-canvas);justify-content:center;padding:1.1rem .65rem;display:flex}.wiki-infobox-figure svg,.wiki-infobox-figure img{width:7.5rem;height:auto}.wiki-infobox-figure .wiki-mark{width:7rem;height:auto}.ra-mdlink{color:var(--tdb-faint);margin:.9rem 0 0;font-size:.7rem}.ra-mdlink a{font-family:var(--tdb-font-code);color:var(--tdb-muted)}.ra-mdlink a:hover{color:var(--tdb-accent)}.ra-rail-actions{gap:.5rem;display:grid}.ra-report-open{border:1px solid var(--tdb-rule-strong);border-radius:var(--tdb-radius);background:var(--tdb-canvas);width:100%;font:inherit;color:var(--tdb-muted);cursor:pointer;padding:.45rem .6rem;font-size:.72rem;font-weight:600}.ra-report-open:hover{border-color:var(--tdb-accent);color:var(--tdb-accent)}