/* theme-blue.css | Creative Company brand color
   Blue is the site's color for every visitor since 2026-10-11 (Jake: "the red isn't my brand").
   Blues sampled from Jake's profile photo (sky behind him):
     #256EB0 replaces the vermilion --red  #E23B22
     #195DA4 replaces the deep red --red-deep #B72C16
   The selector html:not([data-theme="red"]) matches every page (nothing sets "red"); it has the
   same weight as the old opt-in selector, so it still beats the bundle's :root tokens.
   Contrast: cream #FFF3EC on #256EB0 4.90:1; #195DA4 on paper #F4EFE6 5.83:1; #256EB0 on paper 4.66:1. */

html:not([data-theme="red"]) {
  --red: #256EB0;
  --red-deep: #195DA4;
}

/* .plate .gl: guide line over plates, was #E23B22 at 0.8 alpha (#e23b22cc) */
html:not([data-theme="red"]) .plate .gl { background: #256eb0cc; }

/* reading-progress hairline track under 820px, was #E23B22 at 0.18 alpha (#e23b222e) */
html:not([data-theme="red"]) .prog-hair[data-astro-cid-zda6s4wl] { background: #256eb02e; }

/* timeline media card hover overlay (bundle index.bbypgvor.css, no live page loads it today),
   was #C83B2B at 0.45 alpha (#c83b2b73) */
html:not([data-theme="red"]) .card-media-box[data-astro-cid-gfe7t42s]:hover .play-overlay[data-astro-cid-gfe7t42s] { background: #256eb073; }