/* ============================================================
   Eudoxus Sans — explicit @font-face declarations.
   ------------------------------------------------------------
   The brand display family (the logo's "IWS" mark). These point
   at the real Eudoxus Sans woff2 files (SIL OFL, by Stijn de
   Vries) so the family is self-declared and detectable, NOT a
   substitute. The remote author stylesheet in fonts.css fills in
   the intermediate weights (400/500/600); Plus Jakarta Sans is
   the metric-near fallback if the network is unavailable.

   To fully self-host: upload the Eudoxus Sans .woff2 files and
   repoint these src URLs at the local copies.
   ============================================================ */

@font-face {
  font-family: "Eudoxus Sans";
  font-weight: 200;
  font-style: normal;
  font-display: swap;
  src: url("https://db.onlinewebfonts.com/t/8bead1018e546d80e9b082783a181228.woff2") format("woff2");
}
@font-face {
  font-family: "Eudoxus Sans";
  font-weight: 300;
  font-style: normal;
  font-display: swap;
  src: url("https://db.onlinewebfonts.com/t/717e9f602612d7fb92f63ac148c072fe.woff2") format("woff2");
}
@font-face {
  font-family: "Eudoxus Sans";
  font-weight: 700;
  font-style: normal;
  font-display: swap;
  src: url("https://db.onlinewebfonts.com/t/6002a71168dc53170fb31750e86a0450.woff2") format("woff2");
}
@font-face {
  font-family: "Eudoxus Sans";
  font-weight: 800;
  font-style: normal;
  font-display: swap;
  src: url("https://db.onlinewebfonts.com/t/a22165748a3d30ce5c29c15469629175.woff2") format("woff2");
}