/* The gateway's fonts, served with the app: D-DIN (cloudbackend.com's face) and JetBrains Mono, both SIL Open Font License (fonts/LICENSE-fonts.txt). style.css declares the same faces; this file is for pages with their own stylesheet. */
@font-face { font-family: "D-DIN"; src: url("/fonts/D-DIN-400.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "D-DIN"; src: url("/fonts/D-DIN-700.woff2") format("woff2"); font-weight: 700; font-style: normal; font-display: swap; }
@font-face { font-family: "JetBrains Mono"; src: url("/fonts/JetBrainsMono-latin.woff2") format("woff2"); font-weight: 400 500; font-style: normal; font-display: swap; }