@font-face {
  font-family: "Aleo";
  src: url("fonts/Aleo.ttf") format("truetype");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Aleo";
  src: url("fonts/Aleo-Italic.ttf") format("truetype");
  font-weight: 500;
  font-style: italic;
  font-display: swap;
}

@font-face {
  font-family: "Cascadia Mono";
  src: url("fonts/CascadiaMono.ttf") format("truetype");
  font-weight: 200;
  font-style: normal;
  font-display: swap;
}

:root {
  color-scheme: dark;
  --math-gray: #202020;
  --john-gray: #d5d5d5;
  --accent: #ffffff;
  font-family: "Aleo", Georgia, serif;
  background: var(--math-gray);
  color: var(--math-gray);
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  background: var(--math-gray);
}

a {
  color: inherit;
}