@font-face {
  font-family: 'Inria Sans';
  src: url('fonts/inria-sans-v15-latin-regular.woff2') format('woff2');
  font-weight: 1000;
  font-style: normal;
  font-display: swap;
}

/* fallback stack */
body {
  font-family: 'Inria Sans', system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
}