@font-face {
  font-family: BerkeleyMono;
  src: url('fonts/BerkeleyMono-Regular.woff2') format('woff2'), url('fonts/BerkeleyMono-Regular.woff') format('woff');
}

html {
  --foreground: black;
  --background: white;
  --link: orangered;
  padding: 0 1em;
}

@media (prefers-color-scheme: dark) {
  html {
    --foreground: white;
    --background: black;
    --link: orange;
  }
}

body {
  background: var(--background);
  color: var(--foreground);
  font-family: BerkeleyMono, monospace;
  margin: 0 auto;
  max-width: 80em;
}

a:link, a:active, a:visited {
  color: var(--link);
  text-decoration: none;
}

table {
  border: 1px solid var(--foreground);
  border-collapse: collapse;
}

th, td {
  border: 1px solid var(--foreground);
  padding: 0.25em 1em;
}

@counter-style lead3 {
  system: numeric;
  symbols: "0" "1" "2" "3" "4" "5" "6" "7" "8" "9";
  pad: 3 "0";
}

ol {
  list-style: lead3;
  padding-left: 5ch;
}

pre {
  font-family: BerkeleyMono, monospace;
}

* {
  font-weight: normal;
}