/* /proof (network-precision-proof.js): paper and ink; Liquid Gold only for ODEI's own result. */
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-proof { padding-bottom: 40px; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-proof .px-head { padding-bottom: 8px; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-tagline { margin: 0 0 10px; font-family: var(--px-sans); font-size: 12px; font-weight: 640; line-height: 1.3; letter-spacing: .12em; text-transform: uppercase; color: var(--px-gold-ink); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-state { margin-top: 28px; padding: 22px 20px; border: 1px solid var(--bs-hair-2); border-radius: 6px; background: var(--bs-paper-2); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-state.is-failed { border-color: var(--bs-rule); background: var(--bs-paper); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-state-title { margin: 0; font-family: var(--bs-serif); font-size: 26px; font-weight: 440; line-height: 1.2; letter-spacing: -.012em; color: var(--bs-ink); text-wrap: balance; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-state-text { margin: 8px 0 0; max-width: 60ch; font-family: var(--bs-serif); font-size: 17px; line-height: 1.45; color: var(--bs-ink-2); text-wrap: pretty; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-h { margin: 0; padding-bottom: 10px; font-family: var(--bs-serif); font-size: 26px; font-weight: 440; line-height: 1.15; letter-spacing: -.012em; color: var(--bs-ink); border-bottom: 1px solid var(--bs-rule); overflow-wrap: anywhere; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-h3 { margin: 26px 0 0; font-family: var(--px-sans); font-size: 12px; font-weight: 640; line-height: 1.3; letter-spacing: .1em; text-transform: uppercase; color: var(--bs-muted); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-run { margin-top: 40px; scroll-margin-top: 72px; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-facts { display: grid; gap: 0; margin: 0; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-facts > div { display: grid; grid-template-columns: minmax(0, 1fr); gap: 2px; padding: 10px 0; border-bottom: 1px solid var(--bs-hair); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-facts dt { font-family: var(--px-sans); font-size: 12px; font-weight: 600; color: var(--bs-muted); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-facts dd { margin: 0; min-width: 0; font-family: var(--bs-serif); font-size: 16px; line-height: 1.45; color: var(--bs-ink); overflow-wrap: anywhere; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-facts a { display: inline-flex; align-items: center; min-height: 44px; color: var(--bs-ink); text-decoration: underline; text-decoration-color: var(--bs-hair-2); text-underline-offset: 3px; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-code { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 13.5px; line-height: 1.5; overflow-wrap: anywhere; word-break: break-all; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-note { display: block; margin-top: 2px; font-family: var(--px-sans); font-size: 12px; color: var(--bs-muted); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-figs { display: grid; grid-template-columns: minmax(0, 1fr); gap: 10px; margin: 10px 0 0; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-fig { padding: 12px 14px; border: 1px solid var(--bs-hair-2); border-radius: 6px; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-fig.is-own { border-color: var(--px-gold-edge); background: var(--px-gold-wash); box-shadow: inset 0 2px 0 var(--px-gold); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-fig dt { font-family: var(--px-sans); font-size: 12.5px; font-weight: 600; line-height: 1.3; color: var(--bs-ink-2); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-fig dd { margin: 4px 0 0; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-fig b { display: block; font-family: var(--bs-serif); font-size: 28px; font-weight: 450; line-height: 1.1; color: var(--bs-ink); font-variant-numeric: tabular-nums lining-nums; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-fig span { display: block; margin-top: 4px; font-family: var(--px-sans); font-size: 12px; line-height: 1.35; color: var(--bs-muted); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-span, :root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-why { margin: 10px 0 0; max-width: 68ch; font-family: var(--px-sans); font-size: 13px; line-height: 1.45; color: var(--bs-ink-2); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-latest { margin: 10px 0 0; font-family: var(--px-sans); font-size: 13px; color: var(--bs-ink-2); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-latest b { font-family: var(--bs-serif); font-size: 22px; font-weight: 450; color: var(--bs-ink); font-variant-numeric: tabular-nums lining-nums; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-table { margin-top: 10px; overflow-x: auto; overscroll-behavior-x: contain; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-table table { width: 100%; border-collapse: collapse; font-family: var(--px-sans); font-size: 13.5px; line-height: 1.35; color: var(--bs-ink); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-table caption { padding: 0 0 6px; text-align: left; font-size: 12px; color: var(--bs-muted); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-table th { padding: 8px 10px 8px 0; text-align: left; font-size: 12px; font-weight: 600; color: var(--bs-muted); border-bottom: 1px solid var(--bs-rule); white-space: nowrap; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-table td { padding: 6px 10px 6px 0; border-bottom: 1px solid var(--bs-hair); font-variant-numeric: tabular-nums lining-nums; white-space: nowrap; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-table td a { display: inline-flex; align-items: center; min-height: 44px; color: var(--bs-ink); text-decoration: underline; text-decoration-color: var(--bs-hair-2); text-underline-offset: 3px; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-rules { margin-top: 40px; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-rules ul { margin: 12px 0 0; padding: 0 0 0 18px; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-rules li { margin: 0 0 8px; max-width: 70ch; font-family: var(--bs-serif); font-size: 16px; line-height: 1.45; color: var(--bs-ink-2); text-wrap: pretty; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-api { margin: 14px 0 0; font-family: var(--px-sans); font-size: 13px; line-height: 1.45; color: var(--bs-ink-2); }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-api a { display: inline-flex; align-items: center; min-height: 44px; color: var(--bs-ink); text-decoration: underline; text-decoration-color: var(--bs-hair-2); text-underline-offset: 3px; overflow-wrap: anywhere; }
:root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-foot { margin-top: 36px; padding-top: 20px; border-top: 1px solid var(--bs-rule); }
@media (max-width: 759px) {
  :root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-table th, :root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-table td { padding-right: 8px; white-space: normal; }
  :root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-table td { font-size: 13px; }
  :root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-table td:nth-child(2) { white-space: nowrap; }
}
@media (min-width: 760px) {
  :root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-facts > div { grid-template-columns: minmax(0, 9rem) minmax(0, 1fr); gap: 16px; align-items: baseline; }
  :root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-figs { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  :root:root:root:root:root:root:root:root:root:root:root:root:root .px-pf-state { padding: 28px 28px; }
}