/* ReportProof — shared dark-mode theme. Overrides the :root light variables when
   the user (or their OS) prefers dark. data-theme is set before paint by the inline
   head script (no flash). */

:root{ color-scheme: light; }

html[data-theme="dark"]{
  color-scheme: dark;
  --ink:#e8eaed;
  --mut:#9aa3af;
  --line:#262b34;
  --bg:#0f1115;
  --soft:#171a21;
  --panel:#171a21;
  --acc:#4f8cff;
  --ok:#36c08a;
}

/* No-JS fallback: follow OS preference when no explicit choice was made. */
@media (prefers-color-scheme: dark){
  html:not([data-theme="light"]):not([data-theme="dark"]){
    color-scheme: dark;
    --ink:#e8eaed; --mut:#9aa3af; --line:#262b34; --bg:#0f1115; --soft:#171a21;
    --panel:#171a21; --acc:#4f8cff; --ok:#36c08a;
  }
}

/* Smooth the switch */
body,.card,.cta-box,input,textarea,section{ transition: background-color .2s ease, border-color .2s ease, color .2s ease; }

/* Logo swap: light mark on light theme, light-ink mark on dark theme */
.brand .logo-dark{ display:none; }
html[data-theme="dark"] .brand .logo-light{ display:none; }
html[data-theme="dark"] .brand .logo-dark{ display:block; }
@media (prefers-color-scheme: dark){
  html:not([data-theme="light"]):not([data-theme="dark"]) .brand .logo-light{ display:none; }
  html:not([data-theme="light"]):not([data-theme="dark"]) .brand .logo-dark{ display:block; }
}

/* Controls injected by rp-theme.js: dark toggle + A−/A+ stepper */
.rp-controls{ display:inline-flex; gap:5px; align-items:center; }
.rp-controls button{
  padding:4px 9px; line-height:1; min-width:30px;
  font-size:0.9375rem; font-family:inherit; cursor:pointer;
  background:transparent; color:var(--mut);
  border:1px solid var(--line); border-radius:8px;
}
.rp-controls button:hover{ color:var(--ink); border-color:var(--mut); }
.rp-controls button:disabled{ opacity:.4; cursor:default; }
.rp-fontbtn{ font-weight:700; }
.rp-controls.rp-fixed{ position:fixed; top:14px; right:14px; z-index:50;
  background:var(--bg); padding:5px; border-radius:10px; box-shadow:0 1px 6px rgba(0,0,0,.12); }
.rp-controls-row{ display:flex; justify-content:flex-end; align-items:center; margin:12px 0 6px; }