@font-face {
  font-family: "Berkeley Mono";
  src: url("/static/fonts/BerkeleyMono-Regular.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Berkeley Mono";
  src: url("/static/fonts/BerkeleyMono-Bold.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}

:root {
  color-scheme: dark;
  --paper: #080a09;
  --panel: #101312;
  --panel-strong: #171b19;
  --ink: #edf2ef;
  --muted: #8a9690;
  --rule: #29312d;
  --rule-strong: #3a4540;
  --accent: #3fb68b;
  --accent-blue: #5596ff;
  --accent-amber: #d9a441;
  --accent-red: #d1645d;
  --accent-plum: #a985ff;
}