@media screen and (prefers-color-scheme: light) {
    :root {
	--body-bg: white;
	--body-fg: black;
	--text-bg: GhostWhite;
	--text-fg: black;
	--text-hl: darkblue;
	--nav-bg:  GhostWhite;
	--nav-fg:  darkblue;
	--nav-hi:  white;
	--link-fg: darkblue;
	--foot-bg: GhostWhite;
	--foot-fg: black;
	--fig-bg:  white;
	--fig-fg:  black;
    }
}
@media screen and (prefers-color-scheme: dark) {
    :root {
	--body-bg: black;
	--body-fg: white;
	--text-bg: DimGrey;
	--text-fg: GhostWhite;
	--text-hl: LightBlue;
	--nav-bg:  DimGrey;
	--nav-fg:  LightBlue;
	--nav-hi:  black;
	--link-fg: LightBlue;
	--foot-bg: black;
	--foot-fg: GhostWhite;
	--fig-bg:  black;
	--fig-fg:  white;
    }
}