/* The landing pages' fonts, served from here (#1797). Generated by
   flutter-app/tool/web_fonts.py; their licenses are in LICENSE.txt. */
@font-face { font-family: "IBM Plex Sans"; font-weight: 400; font-display: swap; src: url(/fonts/IBMPlexSans-Regular.woff2) format("woff2"); }
@font-face { font-family: "IBM Plex Sans"; font-weight: 500; font-display: swap; src: url(/fonts/IBMPlexSans-Medium.woff2) format("woff2"); }
@font-face { font-family: "IBM Plex Sans"; font-weight: 600; font-display: swap; src: url(/fonts/IBMPlexSans-SemiBold.woff2) format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-weight: 500; font-display: swap; src: url(/fonts/JetBrainsMono-Medium.woff2) format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-weight: 700; font-display: swap; src: url(/fonts/JetBrainsMono-Bold.woff2) format("woff2"); }
@font-face { font-family: "Space Grotesk"; font-weight: 700; font-display: swap; src: url(/fonts/SpaceGrotesk-Bold.woff2) format("woff2"); }
@font-face { font-family: "Noto Sans JP"; font-weight: 100 900; font-display: swap; src: url(/fonts/NotoSansJP.woff2) format("woff2"); }