Yeah, it is. And the website actually uses `prefers-color-scheme` too. It looks like this is a bug. The website sets `[data-theme="dark"]` via javascript on pa

Yeah, it is. And the website actually uses `prefers-color-scheme` too. It looks like this is a bug. The website sets `[data-theme="dark"]` via javascript on page-load so that its light/dark toggle button works, and its stylesheets duplicate every style from `prefers-color-scheme` to `[data-theme="dark"]`. The duplication messed up `--astro-code-bg` and copied from the light scheme.