/* SHIFTSIMPLE SKIN — red-white-blue (styles/themes/red-white-blue.css)
   Overrides ONLY the semantic tokens declared in styles/tokens.css; applied
   when <html data-theme="red-white-blue"> (set before first paint by the inline
   theme-preload script, and by applyTheme() in src/core/theme.js). */
  /* RED / WHITE / BLUE — strong red, clean white, rich blue; modern, not a flag graphic */
  html[data-theme="red-white-blue"]{
    --page-bg:#F7F8FA;
    --surface:#FFFFFF;
    --surface-secondary:#EAF0F7;
    --text-primary:#14213D;
    --text-secondary:#4B5568;
    --primary:#1B4B91;
    --primary-hover:#123571;
    --primary-contrast:#FFFFFF;
    --accent:#C81E2C;
    --accent-hover:#A81823;
    --accent-secondary:#E7EAF0;
    --accent-contrast:#FFFFFF;
    --border:#D7DEE8;
    --input-bg:#FFFFFF;
    --input-border:#D7DEE8;
    --focus-ring:#1B4B91;
    --success:#1B7A42;
    --success-soft:#DCEEE1;
    --warning:#8A6015;
    --danger:#D32F2F;
    --shadow:rgba(10,20,40,0.12);
    --header-bg:#FFFFFF;
    --card-bg:#FFFFFF;
    --glow:none;
  }