/* The three brand fonts from Google Fonts. Self-host them for anything that must work on the venue LAN
   without internet (the graphics PCs, ob-tally): copy the woff2 files into the app and replace this import. */
@import url("https://fonts.googleapis.com/css2?family=Anybody:wght@700;800&family=Manrope:wght@500;600;700;800&family=JetBrains+Mono:wght@500;600&display=swap");