@import url("darkmode.css");
html {
  background: var(--site-background-color); }

body {
  color: var(--color);
  background: var(--background-color); }

h1, h2, h3, h4, h5, h6, dt, div.example {
  color: var(--color); }

div.example {
  background: var(--example-background-color);
  filter: brightness(var(--example-brightness)); }

:link, a[href]:hover {
  color: var(--link-color) !important; }

a[href]:visited {
  color: var(--visited-color) !important; }