/* The app's five faces, self-hosted (Latin subset, WOFF2) so the site makes
   no request to anyone else. Roboto and Roboto Mono are variable fonts: one
   file covers every weight. Licences: assets/fonts/LICENSES.txt.
   Linked by every page, before its own stylesheet. */
@font-face { font-family: "Luckiest Guy"; font-style: normal; font-weight: 400; font-display: swap; src: url(/assets/fonts/luckiest-guy-latin.woff2) format("woff2"); }
@font-face { font-family: Anton; font-style: normal; font-weight: 400; font-display: swap; src: url(/assets/fonts/anton-latin.woff2) format("woff2"); }
@font-face { font-family: Bungee; font-style: normal; font-weight: 400; font-display: swap; src: url(/assets/fonts/bungee-latin.woff2) format("woff2"); }
@font-face { font-family: Roboto; font-style: normal; font-weight: 100 900; font-display: swap; src: url(/assets/fonts/roboto-latin.woff2) format("woff2"); }
@font-face { font-family: "Roboto Mono"; font-style: normal; font-weight: 100 700; font-display: swap; src: url(/assets/fonts/roboto-mono-latin.woff2) format("woff2"); }