@font-face {
  font-family: "DM Mono";
  font-style: normal;
  font-display: swap;
  font-weight: 400;
  src:
    url(https://cdn.jsdelivr.net/fontsource/fonts/dm-mono@latest/latin-400-normal.woff2)
      format("woff2"),
    url(https://cdn.jsdelivr.net/fontsource/fonts/dm-mono@latest/latin-400-normal.woff)
      format("woff");
  unicode-range:
    U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC,
    U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212,
    U+2215, U+FEFF, U+FFFD;
}

:root {
  --font: "DM Mono", monospace;

  --primary: white;
  --base: black;

  --accent: #ff4180;
}

body {
  background: var(--base);
}
pre {
  color: var(--primary);

  font-family: var(--font);
  white-space: pre-wrap;
}

a {
  color: var(--accent);

  text-decoration: underline dotted;

  /*transition-duration: .1s;
				transition-property: opacity;*/
}
a:hover {
  opacity: 0.6;
}