/*! Fira Math, OFL 1.1; see https://github.com/firamath/firamath */
@font-face {
  font-family: "Fira Math";
  font-weight: normal;
  font-style: normal;
  size-adjust: 105%;
  src: url("../vendor/FiraMath-Regular.otf") format("opentype");
}
/*! Space Grotesk, see https://fonts.floriankarsten.com/space-grotesk */
@font-face {
  font-family: "Space Grotesk";
  font-weight: 400;
  font-style: normal;
  src: url("../vendor/space/SpaceGrotesk-Regular.otf") format("opentype");
}
@font-face {
  font-family: "Space Grotesk";
  font-weight: 300;
  font-style: normal;
  src: url("../vendor/space/SpaceGrotesk-Light.otf") format("opentype");
}
@font-face {
  font-family: "Space Grotesk";
  font-weight: 500;
  font-style: normal;
  src: url("../vendor/space/SpaceGrotesk-Medium.otf") format("opentype");
}
@font-face {
  font-family: "Space Grotesk";
  font-weight: 700;
  font-style: normal;
  src: url("../vendor/space/SpaceGrotesk-Bold.otf") format("opentype");
}
/*! Hack font, MIT license; see https://sourcefoundry.org/hack/ */
@font-face {
  font-family: "Hack";
  font-weight: bold;
  font-style: normal;
  size-adjust: 97%;
  src: url("../vendor/hack/Hack-Bold.ttf") format("truetype");
}
@font-face {
  font-family: "Hack";
  font-weight: bold;
  font-style: italic;
  size-adjust: 97%;
  src: url("../vendor/hack/Hack-BoldItalic.ttf") format("truetype");
}
@font-face {
  font-family: "Hack";
  font-weight: normal;
  font-style: italic;
  size-adjust: 97%;
  src: url("../vendor/hack/Hack-Italic.ttf") format("truetype");
}
@font-face {
  font-family: "Hack";
  font-weight: normal;
  font-style: normal;
  size-adjust: 97%;
  src: url("../vendor/hack/Hack-Regular.ttf") format("truetype");
}
/*! Inter, see https://rsms.me/inter/ */
@font-face {
  font-family: "Inter";
  font-weight: 100;
  font-style: normal;
  src: url("../vendor/inter/Inter-Thin.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 100;
  font-style: italic;
  src: url("../vendor/inter/Inter-ThinItalic.otf") format("opentype");
}
@font-face {
  font-family: "Inter Display";
  font-weight: 100;
  font-style: normal;
  src: url("../vendor/inter/InterDisplay-Thin.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 200;
  font-style: normal;
  src: url("../vendor/inter/Inter-ExtraLight.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 200;
  font-style: italic;
  src: url("../vendor/inter/Inter-ExtraLightItalic.otf") format("opentype");
}
@font-face {
  font-family: "Inter Display";
  font-weight: 200;
  font-style: normal;
  src: url("../vendor/inter/InterDisplay-ExtraLight.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 300;
  font-style: normal;
  src: url("../vendor/inter/Inter-Light.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 300;
  font-style: italic;
  src: url("../vendor/inter/Inter-LightItalic.otf") format("opentype");
}
@font-face {
  font-family: "Inter Display";
  font-weight: 300;
  font-style: normal;
  src: url("../vendor/inter/InterDisplay-Light.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 400;
  font-style: normal;
  src: url("../vendor/inter/Inter-Regular.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 400;
  font-style: italic;
  src: url("../vendor/inter/Inter-Italic.otf") format("opentype");
}
@font-face {
  font-family: "Inter Display";
  font-weight: 400;
  font-style: normal;
  src: url("../vendor/inter/InterDisplay-Regular.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 500;
  font-style: normal;
  src: url("../vendor/inter/Inter-Medium.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 500;
  font-style: italic;
  src: url("../vendor/inter/Inter-MediumItalic.otf") format("opentype");
}
@font-face {
  font-family: "Inter Display";
  font-weight: 500;
  font-style: normal;
  src: url("../vendor/inter/InterDisplay-Medium.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 600;
  font-style: normal;
  src: url("../vendor/inter/Inter-SemiBold.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 600;
  font-style: italic;
  src: url("../vendor/inter/Inter-SemiBoldItalic.otf") format("opentype");
}
@font-face {
  font-family: "Inter Display";
  font-weight: 600;
  font-style: normal;
  src: url("../vendor/inter/InterDisplay-SemiBold.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 700;
  font-style: normal;
  src: url("../vendor/inter/Inter-Bold.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 700;
  font-style: italic;
  src: url("../vendor/inter/Inter-BoldItalic.otf") format("opentype");
}
@font-face {
  font-family: "Inter Display";
  font-weight: 700;
  font-style: normal;
  src: url("../vendor/inter/InterDisplay-Bold.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 800;
  font-style: normal;
  src: url("../vendor/inter/Inter-ExtraBold.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 800;
  font-style: italic;
  src: url("../vendor/inter/Inter-ExtraBoldItalic.otf") format("opentype");
}
@font-face {
  font-family: "Inter Display";
  font-weight: 800;
  font-style: normal;
  src: url("../vendor/inter/InterDisplay-ExtraBold.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 900;
  font-style: normal;
  src: url("../vendor/inter/Inter-Black.otf") format("opentype");
}
@font-face {
  font-family: "Inter";
  font-weight: 900;
  font-style: italic;
  src: url("../vendor/inter/Inter-BlackItalic.otf") format("opentype");
}
@font-face {
  font-family: "Inter Display";
  font-weight: 900;
  font-style: normal;
  src: url("../vendor/inter/InterDisplay-Black.otf") format("opentype");
}
/*! Noto fonts, OFL-1.1; see https://notofonts.github.io/ */
@font-face {
  font-family: "Noto Sans Symbols2";
  font-weight: normal;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSansSymbols2-Regular.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans Math";
  font-weight: normal;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSansMath-Regular.otf") format("opentype");
}
/*! Noto fonts, OFL-1.1; see https://notofonts.github.io/ */
@font-face {
  font-family: "Noto Sans";
  font-weight: 100;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSans-Thin.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 100;
  font-style: italic;
  src: url("../vendor/noto/static/NotoSans-ThinItalic.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans Symbols";
  font-weight: 100;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSansSymbols-Thin.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 200;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSans-ExtraLight.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 200;
  font-style: italic;
  src: url("../vendor/noto/static/NotoSans-ExtraLightItalic.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans Symbols";
  font-weight: 200;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSansSymbols-ExtraLight.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 300;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSans-Light.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 300;
  font-style: italic;
  src: url("../vendor/noto/static/NotoSans-LightItalic.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans Symbols";
  font-weight: 300;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSansSymbols-Light.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 400;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSans-Regular.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 400;
  font-style: italic;
  src: url("../vendor/noto/static/NotoSans-Italic.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans Symbols";
  font-weight: 400;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSansSymbols-Regular.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 500;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSans-Medium.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 500;
  font-style: italic;
  src: url("../vendor/noto/static/NotoSans-MediumItalic.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans Symbols";
  font-weight: 500;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSansSymbols-Medium.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 600;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSans-SemiBold.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 600;
  font-style: italic;
  src: url("../vendor/noto/static/NotoSans-SemiBoldItalic.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans Symbols";
  font-weight: 600;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSansSymbols-SemiBold.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 700;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSans-Bold.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 700;
  font-style: italic;
  src: url("../vendor/noto/static/NotoSans-BoldItalic.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans Symbols";
  font-weight: 700;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSansSymbols-Bold.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 800;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSans-ExtraBold.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 800;
  font-style: italic;
  src: url("../vendor/noto/static/NotoSans-ExtraBoldItalic.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans Symbols";
  font-weight: 800;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSansSymbols-ExtraBold.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 900;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSans-Black.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans";
  font-weight: 900;
  font-style: italic;
  src: url("../vendor/noto/static/NotoSans-BlackItalic.otf") format("opentype");
}
@font-face {
  font-family: "Noto Sans Symbols";
  font-weight: 900;
  font-style: normal;
  src: url("../vendor/noto/static/NotoSansSymbols-Black.otf") format("opentype");
}