/*
  Platform fonts with downloadable fallbacks when Segoe UI / Consolas
  are not installed on the client (Inter and JetBrains Mono woff2).
*/
@font-face {
  font-family: "Segoe UI";
  src:
    local("Segoe UI"),
    local("SegoeUI"),
    url("fonts/Inter-Regular.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Segoe UI";
  src:
    local("Segoe UI Semibold"),
    local("Segoe UI"),
    local("SegoeUI-Semibold"),
    url("fonts/Inter-SemiBold.woff2") format("woff2");
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Segoe UI Semibold";
  src:
    local("Segoe UI Semibold"),
    local("Segoe UI"),
    local("SegoeUI-Semibold"),
    url("fonts/Inter-SemiBold.woff2") format("woff2");
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}

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

@font-face {
  font-family: "Consolas";
  src:
    local("Consolas"),
    url("fonts/JetBrainsMono-Regular.woff2") format("woff2");
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}