/* fix.css — exact repairs the pipeline wrote for defects the gate measured.
   Kept only because the page measured better with them. Do not edit. */
span.idx { color: #d12424 !important; }
header.ewb-chrome-nav[data-scrolled] { background: color-mix(in srgb, var(--bg, #fff) 94%, transparent) !important; -webkit-backdrop-filter: blur(10px); backdrop-filter: blur(10px); mix-blend-mode: normal !important; }
