/* The app's typefaces (design/redesign_2026-09/fonts): General Sans 400/500/600, JetBrains Mono 400. Licences beside the files. */
@font-face { font-family:"General Sans"; font-weight:400; font-style:normal; font-display:swap; src:url("GeneralSans-Regular.woff2") format("woff2"); }
@font-face { font-family:"General Sans"; font-weight:500; font-style:normal; font-display:swap; src:url("GeneralSans-Medium.woff2") format("woff2"); }
@font-face { font-family:"General Sans"; font-weight:600; font-style:normal; font-display:swap; src:url("GeneralSans-Semibold.woff2") format("woff2"); }
@font-face { font-family:"JetBrains Mono"; font-weight:400; font-style:normal; font-display:swap; src:url("JetBrainsMono-Regular.woff2") format("woff2"); }