@font-face {
  font-family: "IBM Plex Mono";
  src: url("/fonts/IBMPlexMono-Regular.ttf");
}

$font_sans: Verdana, Geneva, sans-serif;
$font_serif: Georgia, serif;
$font_mono: "IBM Plex Mono", monospace;