@font-face {
  font-family: "Departure Mono";
  src:
    url("DepartureMono-Regular.woff2") format("woff2"),
    url("DepartureMono-Regular.woff") format("woff"),
    url("DepartureMono-Regular.otf") format("opentype");
  /* One regular cut. Claiming the whole weight range stops browsers from
     smearing synthetic bold onto the pixel grid when a rule asks for 600+. */
  font-weight: 100 900;
  font-style: normal;
  font-display: swap;
}