/* Local font-face plumbing for self-hosted fonts.
   Note: Add .woff2 binaries under /assets/fonts to activate. */

/* JetBrains Mono */
@font-face {
  font-family: "JetBrains Mono";
  src:
    local("JetBrains Mono Bold"),
    local("JetBrainsMono-Bold"),
    url("/assets/fonts/JetBrainsMono-Bold.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "JetBrains Mono";
  src:
    local("JetBrains Mono ExtraBold"),
    local("JetBrainsMono-ExtraBold"),
    url("/assets/fonts/JetBrainsMono-ExtraBold.woff2") format("woff2");
  font-weight: 800;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "JetBrains Mono";
  src:
    local("JetBrains Mono Regular"),
    local("JetBrainsMono-Regular"),
    url("/assets/fonts/JetBrainsMono-Regular.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

/* Hack */
@font-face {
  font-family: "Hack";
  src:
    local("Hack Regular"),
    local("Hack-Regular"),
    url("/assets/fonts/Hack-Regular.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "Hack";
  src:
    local("Hack Bold"),
    local("Hack-Bold"),
    url("/assets/fonts/Hack-Bold.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}