@media screen and (prefers-color-scheme: dark) {
  .site-footer .footer-nav h2,.site-footer .footer-column h2,.site-footer .footer-links h2,.site-footer .footer-bottom,.site-footer .footer-bottom p { color:#aabdb5; }
  .paper-meta-grid span,.explorer-stat span,.explorer-stats span,.explorer-metric span,.paper-repository-record span,.explorer-note { color:#a9c1b6; }
  .page-section-dark .inner-heading-label span { color:#7cdbad; }

  :root { color-scheme:dark; --page:#181e20; --surface:#293136; --surface-tint:#222b2e; --ink:#f0f6f4; --text:#d5e1dd; --muted:#a9bcb5; --line:#4c5c57; --emerald:#65d7a5; --teal:#93d4cc; --blue:#89bdf5; }
  .prism-branded { --prism-charcoal:#d5e1dd; --prism-near-black:#f0f6f4; --prism-off-white:#181e20; --prism-border:#4c5c57; --prism-deep-teal:#93d4cc; --prism-electric-blue:#89bdf5; --prism-text-muted:#a9bcb5; --prism-emerald:#65d7a5; }
  html { background:#181e20; }
  .site-header,.site-header.is-scrolled,.subpage .site-header { background:rgba(11,17,19,.96); border-color:#4c5c57; }
  .site-header .brand>img,.error-brand img { content:url('/assets/brand/metriq-wordmark-white.svg'); }
  .prism-brand img { content:url('/assets/prism/branding/Metriq_PRISM_Laboratory_Lockup_Color_Dark.svg'); }
  .prism-full-lockup img { content:url('/assets/prism/branding/Metriq_PRISM_Full_Name_Lockup_Color_Dark.svg'); }
  .skip-link { background:#a0e9c4; color:#0b1316; }
  .desktop-nav a { color:#bbcdc5; }
  .header-cta,.prism-branded .header-cta,.form-submit,.button-primary { background:#19372c; border-color:#729b87; color:#f0f6f4; }
  .header-cta:hover,.prism-branded .header-cta:hover,.form-submit:hover,.button-primary:hover { background:#234d3c; color:#fff; }
  .button-secondary,.form-copy { color:#d5e1dd; background:#182924; border-color:#729b87; }
  .mobile-menu { background:#101a1d; }
  .meta-chip,.contact-form-shell,.contact-aside,.form-field input,.form-field select,.form-field textarea { background:#293136; color:#d5e1dd; border-color:#557168; }
  .form-field input::placeholder,.form-field textarea::placeholder { color:#a9bcb5; opacity:1; }
  option { background:#293136; color:#f0f6f4; }
  .form-status.is-error { color:#ffb4ab; }
  .paper-hero,.page-section-dark,.section-dark,.site-footer { background:#0b1316; color:#f0f6f4; }
  .paper-button-primary { background:#a0e9c4; color:#0b1316; }
  .paper-button-primary:hover { color:#0b1316; }
  .explorer-toggle.is-active,.decomposition-blocks .block-a,.decomposition-blocks .block-b { color:#0b1316; }
  .paper-status-row .meta-chip { background:#17252b; color:#cdded8; }
  .paper-meta-grid span,.paper-repository-record span,.paper-hero .page-breadcrumb,.paper-hero-summary { color:#aec4ba; }
  .paper-toc,.paper-reading-nav,.paper-section-nav { background:#121d21; border-color:#4c5c57; }
  .paper-jump,.paper-jump a:hover,.paper-jump a:focus-visible,.paper-jump a.is-current,.paper-overview-card,.paper-result-box,.proof-chain article,.verification-output,.verification-context,.paper-figure,.review-card,.citation-panel { background:#293136; border-color:#4c5c57; }
  .verification-output pre { background:#0b1316; }
  .prism-page .site-header { background:rgba(11,17,19,.96); }
  .prism-hero-record,.prism-principle-strip,.definition-panel,.definition-aside,.prism-program-modules article,.catalog-toolbar,.catalog-filter,.catalog-card,.prism-status-list article,.repository-primary,.repository-links { background:#293136; }
  .catalog-filter.is-active,.catalog-filter:hover,.catalog-filter:focus-visible { background:#234d3c; color:#f0f6f4; }
  .catalog-cover,.repo-command { background:#0b1316; }
  .catalog-cover--repository { background:#182924; }
  .section-rail,.section-rail a::after,.field-counter { background:#293136; border-color:#4c5c57; }
  .form-completion { background:#293136; }
  .form-field label::after,.form-field legend::after { color:#0b1316; }
  .paper-table th,.paper-table td,table th,table td { border-color:#4c5c57; }
  pre,code { color:#cee4dc; }
  ::selection { background:#9fe3c0; color:#0b1316; }
  a:focus-visible,button:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible,summary:focus-visible { outline-color:#93d4cc; }

}
@media screen and (prefers-color-scheme: dark) and (max-width:720px) { .prism-brand img { content:url("/assets/prism/branding/Metriq_PRISM_Symbol_Gradient_Transparent.svg"); } }
