/* Self-hosted web fonts (no request to Google). Same families, weights and fallbacks the Google Fonts link used to give:
   GFS Didot 400 (Latin + Greek), Hanken Grotesk 400-700 (Latin; Greek and Russian text falls back to the system sans-serif, exactly as before),
   JetBrains Mono 400/500 (Latin + Greek + Cyrillic). woff2, subset (office/pdffonts has the full TTFs). Licences: OFL-*.txt in static/fonts/. */
@font-face{ font-family:"GFS Didot"; font-style:normal; font-weight:400; font-display:swap; src:url("../fonts/GFSDidot-Regular.woff2") format("woff2"); }
@font-face{ font-family:"Hanken Grotesk"; font-style:normal; font-weight:400; font-display:swap; src:url("../fonts/HankenGrotesk-400.woff2") format("woff2"); }
@font-face{ font-family:"Hanken Grotesk"; font-style:normal; font-weight:500; font-display:swap; src:url("../fonts/HankenGrotesk-500.woff2") format("woff2"); }
@font-face{ font-family:"Hanken Grotesk"; font-style:normal; font-weight:600; font-display:swap; src:url("../fonts/HankenGrotesk-600.woff2") format("woff2"); }
@font-face{ font-family:"Hanken Grotesk"; font-style:normal; font-weight:700; font-display:swap; src:url("../fonts/HankenGrotesk-700.woff2") format("woff2"); }
@font-face{ font-family:"JetBrains Mono"; font-style:normal; font-weight:400; font-display:swap; src:url("../fonts/JetBrainsMono-400.woff2") format("woff2"); }
@font-face{ font-family:"JetBrains Mono"; font-style:normal; font-weight:500; font-display:swap; src:url("../fonts/JetBrainsMono-500.woff2") format("woff2"); }